tryassay 0.34.0 → 0.35.1

package/dist/lib/__tests__/formal-verifier-behavioral.test.js

@@ -0,0 +1,576 @@
+/**
+ * Behavioral Claim Type Tests — new formal check types for behavioral claims.
+ *
+ * Tests for:
+ * - feature_presence: detects feature-related terms in code
+ * - data_handling: detects data storage/processing patterns
+ * - configuration_check: detects configuration patterns
+ * - capacity_limit: detects capacity/limit constants
+ * - security_control: detects security mechanisms
+ * - compliance_check: detects compliance-related patterns
+ * - connectivity_check: detects connection/integration patterns
+ * - pricing_billing: detects pricing/payment patterns
+ * - role_access: detects role/permission patterns
+ * - media_processing: detects media processing patterns
+ * - subjective_quality: always PASSes (defers to LLM)
+ * - requirement_constraint: detects requirement enforcement patterns
+ */
+import { describe, it, expect } from 'vitest';
+import { runFormalVerification } from '../formal-verifier.js';
+function makeClaim(overrides = {}) {
+    return {
+        id: 'test-claim-1',
+        category: 'correctness',
+        severity: 'medium',
+        description: overrides.description ?? 'test claim',
+        assertion: overrides.assertion ?? 'test assertion',
+        ...overrides,
+    };
+}
+function makeLLMVerification(claimId, verdict = 'PASS') {
+    return {
+        claimId,
+        verdict,
+        reasoning: 'LLM says it looks correct',
+    };
+}
+describe('feature_presence', () => {
+    it('PASS: code contains feature-related terms', () => {
+        const claim = makeClaim({
+            description: 'The Service provides analytics dashboard with charts',
+            assertion: 'Analytics dashboard is provided',
+        });
+        const code = `
+      function renderDashboard() {
+        const analytics = getAnalytics();
+        const charts = buildCharts(analytics);
+        return { dashboard: charts };
+      }
+    `;
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id)]);
+        expect(verifications[0].verdict).toBe('PASS');
+        expect(verifications[0].verification_method).toBe('formal');
+    });
+    it('classifies "supports" claims as feature_presence', () => {
+        const claim = makeClaim({
+            description: 'The app supports push notifications',
+            assertion: 'Push notifications are supported',
+        });
+        const code = 'function placeholder() {}';
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id)]);
+        expect(verifications[0].verification_method).toBe('formal');
+    });
+});
+describe('data_handling', () => {
+    it('PASS: code has database operations', () => {
+        const claim = makeClaim({
+            description: 'Customer data is stored securely in the database',
+            assertion: 'Data is stored in database',
+        });
+        const code = `
+      import { db } from './database';
+      async function saveCustomer(data: CustomerData) {
+        return db.insert('customers', data);
+      }
+    `;
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id)]);
+        expect(verifications[0].verdict).toBe('PASS');
+        expect(verifications[0].verification_method).toBe('formal');
+    });
+    it('FAIL: code has no data handling patterns', () => {
+        const claim = makeClaim({
+            description: 'Customer data is stored securely in the database',
+            assertion: 'Data is stored in database',
+        });
+        const code = 'const x = 1 + 2;';
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id, 'PASS')]);
+        expect(verifications[0].verdict).toBe('FAIL');
+    });
+    it('classifies "retained" claims as data_handling', () => {
+        const claim = makeClaim({
+            description: 'Audit logs are retained for 12 months',
+            assertion: 'Logs are retained',
+        });
+        const code = 'function placeholder() {}';
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id)]);
+        expect(verifications[0].verification_method).toBe('formal');
+    });
+});
+describe('security_control', () => {
+    it('PASS: code has authentication library', () => {
+        const claim = makeClaim({
+            category: 'security',
+            description: 'Users authenticate via JWT tokens',
+            assertion: 'JWT authentication is implemented',
+        });
+        const code = `
+      import jwt from 'jsonwebtoken';
+      function verifyToken(token: string) {
+        return jwt.verify(token, process.env.JWT_SECRET);
+      }
+    `;
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id)]);
+        expect(verifications[0].verdict).toBe('PASS');
+        expect(verifications[0].verification_method).toBe('formal');
+    });
+    it('classifies SSO claims as security_control', () => {
+        const claim = makeClaim({
+            category: 'security',
+            description: 'SSO supports Okta as an identity provider',
+            assertion: 'Okta SSO is supported',
+        });
+        const code = 'function placeholder() {}';
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id)]);
+        expect(verifications[0].verification_method).toBe('formal');
+    });
+});
+describe('capacity_limit', () => {
+    it('PASS: code has limit constants', () => {
+        const claim = makeClaim({
+            description: 'Starter plan supports up to 3 devices',
+            assertion: 'Device limit is 3',
+        });
+        const code = `
+      const MAX_DEVICES = 3;
+      function canAddDevice(currentCount: number) {
+        return currentCount < MAX_DEVICES;
+      }
+    `;
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id)]);
+        expect(verifications[0].verdict).toBe('PASS');
+        expect(verifications[0].verification_method).toBe('formal');
+    });
+});
+describe('configuration_check', () => {
+    it('PASS: code has config objects', () => {
+        const claim = makeClaim({
+            description: 'Display duration is configurable per playlist',
+            assertion: 'Duration is configurable',
+        });
+        const code = `
+      const config = {
+        displayDuration: 5000,
+        transition: 'fade',
+      };
+    `;
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id)]);
+        expect(verifications[0].verdict).toBe('PASS');
+        expect(verifications[0].verification_method).toBe('formal');
+    });
+});
+describe('compliance_check', () => {
+    it('PASS: code has GDPR-related patterns', () => {
+        const claim = makeClaim({
+            category: 'security',
+            description: 'The Service is designed to comply with GDPR',
+            assertion: 'GDPR compliance is implemented',
+        });
+        const code = `
+      async function deleteUserData(userId: string) {
+        await db.delete('users', userId);
+        await audit.log('gdpr_deletion', userId);
+      }
+    `;
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id)]);
+        expect(verifications[0].verdict).toBe('PASS');
+        expect(verifications[0].verification_method).toBe('formal');
+    });
+});
+describe('connectivity_check', () => {
+    it('PASS: code has WebSocket patterns', () => {
+        const claim = makeClaim({
+            description: 'Each Device connects via a persistent WebSocket connection',
+            assertion: 'WebSocket connection is used',
+        });
+        const code = `
+      const ws = new WebSocket('wss://api.example.com');
+      ws.on('message', handleMessage);
+    `;
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id)]);
+        expect(verifications[0].verdict).toBe('PASS');
+        expect(verifications[0].verification_method).toBe('formal');
+    });
+});
+describe('pricing_billing', () => {
+    it('classifies pricing claims correctly', () => {
+        const claim = makeClaim({
+            description: 'Starter plan costs $79/month',
+            assertion: 'Price is $79/month',
+        });
+        const code = 'const STARTER_PRICE = 79;';
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id)]);
+        expect(verifications[0].verification_method).toBe('formal');
+    });
+});
+describe('role_access', () => {
+    it('PASS: code has role definitions', () => {
+        const claim = makeClaim({
+            description: 'Admin role has full access excluding billing',
+            assertion: 'Admin role access is defined',
+        });
+        const code = `
+      const ROLES = {
+        admin: { canEdit: true, canDelete: true, canBill: false },
+        viewer: { canEdit: false, canDelete: false, canBill: false },
+      };
+    `;
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id)]);
+        expect(verifications[0].verdict).toBe('PASS');
+        expect(verifications[0].verification_method).toBe('formal');
+    });
+});
+describe('media_processing', () => {
+    it('PASS: code has image processing', () => {
+        const claim = makeClaim({
+            description: 'Photo is resized and optimized for display resolution',
+            assertion: 'Photos are resized',
+        });
+        const code = `
+      import sharp from 'sharp';
+      async function processImage(buffer: Buffer) {
+        return sharp(buffer).resize(1080, 1080).jpeg({ quality: 80 }).toBuffer();
+      }
+    `;
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id)]);
+        expect(verifications[0].verdict).toBe('PASS');
+        expect(verifications[0].verification_method).toBe('formal');
+    });
+});
+describe('subjective_quality', () => {
+    it('always PASSes — defers to code review', () => {
+        const claim = makeClaim({
+            description: 'The codebase follows best practices',
+            assertion: 'Best practices are followed',
+        });
+        const code = 'const x = 1;';
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id)]);
+        expect(verifications[0].verdict).toBe('PASS');
+        expect(verifications[0].verification_method).toBe('formal');
+        expect(verifications[0].reasoning).toContain('Subjective');
+    });
+});
+describe('requirement_constraint', () => {
+    it('classifies "must" claims correctly', () => {
+        const claim = makeClaim({
+            description: 'Customers must create an account by providing a valid email address',
+            assertion: 'Account creation requires email',
+        });
+        const code = 'function placeholder() {}';
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id)]);
+        expect(verifications[0].verification_method).toBe('formal');
+    });
+    it('classifies "is not sold" claims correctly', () => {
+        const claim = makeClaim({
+            category: 'security',
+            description: 'End User data is not sold to any third party',
+            assertion: 'Data is not sold',
+        });
+        const code = 'function placeholder() {}';
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id)]);
+        expect(verifications[0].verification_method).toBe('formal');
+    });
+    it('PASS: code has constraint enforcement', () => {
+        const claim = makeClaim({
+            description: 'Password must meet minimum security requirements (minimum 12 characters)',
+            assertion: 'Password has minimum length',
+        });
+        const code = `
+      function validatePassword(password: string) {
+        if (password.length < 12) {
+          throw new Error('Password must be at least 12 characters');
+        }
+      }
+    `;
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id)]);
+        expect(verifications[0].verdict).toBe('PASS');
+        expect(verifications[0].verification_method).toBe('formal');
+    });
+});
+describe('classification priority', () => {
+    it('error_handling takes priority over feature_presence for "provides error handling"', () => {
+        const claim = makeClaim({
+            description: 'The module provides error handling for all API calls',
+            assertion: 'Error handling is provided',
+        });
+        const code = `
+      try {
+        await fetch('/api/data');
+      } catch (error) {
+        console.error(error);
+      }
+    `;
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id)]);
+        expect(verifications[0].verdict).toBe('PASS');
+        expect(verifications[0].reasoning).toContain('Error handling found');
+    });
+    it('security_control takes priority over feature_presence for "supports OAuth"', () => {
+        const claim = makeClaim({
+            category: 'security',
+            description: 'The system supports OAuth 2.0 authentication',
+            assertion: 'OAuth authentication is supported',
+        });
+        const code = `
+      import passport from 'passport';
+      const oauth = passport.authenticate('oauth2');
+    `;
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id)]);
+        expect(verifications[0].verdict).toBe('PASS');
+        expect(verifications[0].reasoning).toContain('Security controls found');
+    });
+    it('data_handling takes priority over feature_presence for "provides data export"', () => {
+        const claim = makeClaim({
+            description: 'The service provides data export functionality',
+            assertion: 'Data export is available',
+        });
+        const code = `
+      function exportData(format: string) {
+        const data = db.query('SELECT * FROM users');
+        return JSON.stringify(data);
+      }
+    `;
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id)]);
+        expect(verifications[0].verdict).toBe('PASS');
+        expect(verifications[0].reasoning).toContain('Data handling found');
+    });
+    it('role_access takes priority over pricing_billing for "access excluding billing"', () => {
+        const claim = makeClaim({
+            description: 'Admin role has full access excluding billing',
+            assertion: 'Admin role access is defined',
+        });
+        const code = `
+      const roles = {
+        admin: { permissions: ['read', 'write', 'delete'], billing: false },
+      };
+    `;
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id)]);
+        expect(verifications[0].verdict).toBe('PASS');
+        expect(verifications[0].reasoning).toContain('Role/access');
+    });
+    it('undefined_reference takes priority over arithmetic for "references variable for calculations"', () => {
+        const claim = makeClaim({
+            description: 'references variable Math for calculations',
+            assertion: 'Math is used',
+        });
+        const code = `
+      const x = 4;
+      const y = 9;
+      const z = Math.sqrt(y);
+      const result = x + z;
+    `;
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id)]);
+        expect(verifications[0].verdict).toBe('PASS');
+        expect(verifications[0].reasoning).toContain('built-in');
+    });
+});
+describe('behavioral checker FAIL cases', () => {
+    it('security_control: FAIL when code has no security patterns', () => {
+        const claim = makeClaim({
+            category: 'security',
+            description: 'Users authenticate via JWT tokens',
+            assertion: 'JWT authentication is implemented',
+        });
+        const code = 'const x = 1 + 2;';
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id, 'PASS')]);
+        expect(verifications[0].verdict).toBe('FAIL');
+    });
+    it('connectivity_check: FAIL when code has no connection patterns', () => {
+        const claim = makeClaim({
+            description: 'Each Device connects via a persistent WebSocket connection',
+            assertion: 'WebSocket connection is used',
+        });
+        const code = 'const x = 1 + 2;';
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id, 'PASS')]);
+        expect(verifications[0].verdict).toBe('FAIL');
+    });
+    it('compliance_check: FAIL when code has no compliance patterns', () => {
+        const claim = makeClaim({
+            category: 'security',
+            description: 'The Service is designed to comply with GDPR',
+            assertion: 'GDPR compliance is implemented',
+        });
+        const code = 'const x = 1 + 2;';
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id, 'PASS')]);
+        expect(verifications[0].verdict).toBe('FAIL');
+    });
+    it('capacity_limit: FAIL when code has no limit patterns', () => {
+        const claim = makeClaim({
+            description: 'Starter plan supports up to 3 devices',
+            assertion: 'Device limit is 3',
+        });
+        const code = 'const x = 1 + 2;';
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id, 'PASS')]);
+        expect(verifications[0].verdict).toBe('FAIL');
+    });
+    it('configuration_check: FAIL when code has no config patterns', () => {
+        const claim = makeClaim({
+            description: 'Display duration is configurable per playlist',
+            assertion: 'Duration is configurable',
+        });
+        const code = 'const x = 1 + 2;';
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id, 'PASS')]);
+        expect(verifications[0].verdict).toBe('FAIL');
+    });
+    it('media_processing: FAIL when code has no media patterns', () => {
+        const claim = makeClaim({
+            description: 'Photo is resized and optimized for display resolution',
+            assertion: 'Photos are resized',
+        });
+        const code = 'const x = 1 + 2;';
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id, 'PASS')]);
+        expect(verifications[0].verdict).toBe('FAIL');
+    });
+    it('pricing_billing: FAIL when code has no pricing patterns', () => {
+        const claim = makeClaim({
+            description: 'Starter plan costs $79/month',
+            assertion: 'Price is $79/month',
+        });
+        const code = 'const x = 1 + 2;';
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id, 'PASS')]);
+        expect(verifications[0].verdict).toBe('FAIL');
+    });
+    it('role_access: FAIL when code has no role patterns', () => {
+        const claim = makeClaim({
+            description: 'Viewer role has read-only dashboard access',
+            assertion: 'Viewer role is defined',
+        });
+        const code = 'const x = 1 + 2;';
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id, 'PASS')]);
+        expect(verifications[0].verdict).toBe('FAIL');
+    });
+    it('requirement_constraint: FAIL when code has no constraint patterns', () => {
+        const claim = makeClaim({
+            description: 'Password must meet minimum security requirements (minimum 12 characters)',
+            assertion: 'Password has minimum length',
+        });
+        const code = 'const x = 1 + 2;';
+        const { verifications } = runFormalVerification(code, 'typescript', [claim], [makeLLMVerification(claim.id, 'PASS')]);
+        expect(verifications[0].verdict).toBe('FAIL');
+    });
+});
+describe('multi-language error handling', () => {
+    it('PASS: Go error handling with err != nil', () => {
+        const claim = makeClaim({
+            description: 'The function handles errors gracefully',
+            assertion: 'Errors are handled',
+        });
+        const code = `
+      func readFile(path string) ([]byte, error) {
+        data, err := os.ReadFile(path)
+        if err != nil {
+          return nil, fmt.Errorf("failed to read: %w", err)
+        }
+        return data, nil
+      }
+    `;
+        const { verifications } = runFormalVerification(code, 'go', [claim], [makeLLMVerification(claim.id)]);
+        expect(verifications[0].verdict).toBe('PASS');
+        expect(verifications[0].reasoning).toContain('if err != nil');
+    });
+    it('PASS: Rust error handling with ? operator', () => {
+        const claim = makeClaim({
+            description: 'The function handles errors with Result types',
+            assertion: 'Errors are handled via Result',
+        });
+        const code = `
+      fn read_config(path: &str) -> Result<Config, Box<dyn Error>> {
+        let content = fs::read_to_string(path)?;
+        let config: Config = serde_json::from_str(&content)?;
+        Ok(config)
+      }
+    `;
+        const { verifications } = runFormalVerification(code, 'rust', [claim], [makeLLMVerification(claim.id)]);
+        expect(verifications[0].verdict).toBe('PASS');
+        expect(verifications[0].reasoning).toContain('? operator');
+    });
+    it('PASS: Python error handling with try/except', () => {
+        const claim = makeClaim({
+            description: 'The function catches exceptions properly',
+            assertion: 'Exceptions are caught',
+        });
+        const code = `
+def parse_data(raw):
+    try:
+        return json.loads(raw)
+    except json.JSONDecodeError as e:
+        logging.error(f"Failed to parse: {e}")
+        return None
+    `;
+        const { verifications } = runFormalVerification(code, 'python', [claim], [makeLLMVerification(claim.id)]);
+        expect(verifications[0].verdict).toBe('PASS');
+        expect(verifications[0].reasoning).toContain('try/except');
+    });
+});
+describe('multi-language null handling', () => {
+    it('PASS: Rust Option handling with if let Some', () => {
+        const claim = makeClaim({
+            description: 'Handles null values using Option type',
+            assertion: 'Null values are handled',
+        });
+        const code = `
+      fn get_name(user: &Option<User>) -> String {
+        if let Some(u) = user {
+          u.name.clone()
+        } else {
+          String::from("unknown")
+        }
+      }
+    `;
+        const { verifications } = runFormalVerification(code, 'rust', [claim], [makeLLMVerification(claim.id)]);
+        expect(verifications[0].verdict).toBe('PASS');
+        expect(verifications[0].reasoning).toContain('if let Some');
+    });
+    it('PASS: Go nil check', () => {
+        const claim = makeClaim({
+            description: 'Checks for null pointer before use',
+            assertion: 'Null check is performed',
+        });
+        const code = `
+      func process(data *Data) error {
+        if data == nil {
+          return errors.New("data is nil")
+        }
+        return data.Process()
+      }
+    `;
+        const { verifications } = runFormalVerification(code, 'go', [claim], [makeLLMVerification(claim.id)]);
+        expect(verifications[0].verdict).toBe('PASS');
+        expect(verifications[0].reasoning).toContain('nil check');
+    });
+});
+describe('multi-language type annotations', () => {
+    it('PASS: Go typed function', () => {
+        const claim = makeClaim({
+            description: 'All function parameters have type annotations',
+            assertion: 'Parameters are typed',
+        });
+        const code = `
+      func calculateTotal(items []Item, taxRate float64) (float64, error) {
+        var total float64
+        for _, item := range items {
+          total += item.Price
+        }
+        return total * (1 + taxRate), nil
+      }
+    `;
+        const { verifications } = runFormalVerification(code, 'go', [claim], [makeLLMVerification(claim.id)]);
+        expect(verifications[0].verdict).toBe('PASS');
+        expect(verifications[0].reasoning).toContain('typed function');
+    });
+    it('PASS: Rust typed function with generics', () => {
+        const claim = makeClaim({
+            description: 'Return types are explicitly declared',
+            assertion: 'Return types exist',
+        });
+        const code = `
+      fn parse_items<T: FromStr>(input: &str) -> Vec<T> {
+        input.split(',')
+          .filter_map(|s| s.trim().parse().ok())
+          .collect()
+      }
+    `;
+        const { verifications } = runFormalVerification(code, 'rust', [claim], [makeLLMVerification(claim.id)]);
+        expect(verifications[0].verdict).toBe('PASS');
+        expect(verifications[0].reasoning).toContain('typed function');
+    });
+});
+//# sourceMappingURL=formal-verifier-behavioral.test.js.map

package/dist/lib/__tests__/formal-verifier-behavioral.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formal-verifier-behavioral.test.js","sourceRoot":"","sources":["../../../src/lib/__tests__/formal-verifier-behavioral.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAG9D,SAAS,SAAS,CAAC,YAAmC,EAAE;IACtD,OAAO;QACL,EAAE,EAAE,cAAc;QAClB,QAAQ,EAAE,aAAa;QACvB,QAAQ,EAAE,QAAQ;QAClB,WAAW,EAAE,SAAS,CAAC,WAAW,IAAI,YAAY;QAClD,SAAS,EAAE,SAAS,CAAC,SAAS,IAAI,gBAAgB;QAClD,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,OAAe,EAAE,UAA2B,MAAM;IAC7E,OAAO;QACL,OAAO;QACP,OAAO;QACP,SAAS,EAAE,2BAA2B;KACvC,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,sDAAsD;YACnE,SAAS,EAAE,iCAAiC;SAC7C,CAAC,CAAC;QACH,MAAM,IAAI,GAAG;;;;;;KAMZ,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9G,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,qCAAqC;YAClD,SAAS,EAAE,kCAAkC;SAC9C,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,2BAA2B,CAAC;QACzC,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9G,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;IAC7B,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,kDAAkD;YAC/D,SAAS,EAAE,4BAA4B;SACxC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG;;;;;KAKZ,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9G,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,kDAAkD;YAC/D,SAAS,EAAE,4BAA4B;SACxC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,kBAAkB,CAAC;QAChC,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QACtH,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,uCAAuC;YACpD,SAAS,EAAE,mBAAmB;SAC/B,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,2BAA2B,CAAC;QACzC,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9G,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,QAAQ,EAAE,UAAU;YACpB,WAAW,EAAE,mCAAmC;YAChD,SAAS,EAAE,mCAAmC;SAC/C,CAAC,CAAC;QACH,MAAM,IAAI,GAAG;;;;;KAKZ,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9G,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,QAAQ,EAAE,UAAU;YACpB,WAAW,EAAE,2CAA2C;YACxD,SAAS,EAAE,uBAAuB;SACnC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,2BAA2B,CAAC;QACzC,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9G,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,uCAAuC;YACpD,SAAS,EAAE,mBAAmB;SAC/B,CAAC,CAAC;QACH,MAAM,IAAI,GAAG;;;;;KAKZ,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9G,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,+CAA+C;YAC5D,SAAS,EAAE,0BAA0B;SACtC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG;;;;;KAKZ,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9G,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,QAAQ,EAAE,UAAU;YACpB,WAAW,EAAE,6CAA6C;YAC1D,SAAS,EAAE,gCAAgC;SAC5C,CAAC,CAAC;QACH,MAAM,IAAI,GAAG;;;;;KAKZ,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9G,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,4DAA4D;YACzE,SAAS,EAAE,8BAA8B;SAC1C,CAAC,CAAC;QACH,MAAM,IAAI,GAAG;;;KAGZ,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9G,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,8BAA8B;YAC3C,SAAS,EAAE,oBAAoB;SAChC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,2BAA2B,CAAC;QACzC,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9G,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,8CAA8C;YAC3D,SAAS,EAAE,8BAA8B;SAC1C,CAAC,CAAC;QACH,MAAM,IAAI,GAAG;;;;;KAKZ,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9G,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,uDAAuD;YACpE,SAAS,EAAE,oBAAoB;SAChC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG;;;;;KAKZ,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9G,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,qCAAqC;YAClD,SAAS,EAAE,6BAA6B;SACzC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,cAAc,CAAC;QAC5B,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9G,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC5D,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,qEAAqE;YAClF,SAAS,EAAE,iCAAiC;SAC7C,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,2BAA2B,CAAC;QACzC,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9G,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,QAAQ,EAAE,UAAU;YACpB,WAAW,EAAE,8CAA8C;YAC3D,SAAS,EAAE,kBAAkB;SAC9B,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,2BAA2B,CAAC;QACzC,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9G,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,0EAA0E;YACvF,SAAS,EAAE,6BAA6B;SACzC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG;;;;;;KAMZ,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9G,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,EAAE,CAAC,mFAAmF,EAAE,GAAG,EAAE;QAC3F,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,sDAAsD;YACnE,SAAS,EAAE,4BAA4B;SACxC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG;;;;;;KAMZ,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9G,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,QAAQ,EAAE,UAAU;YACpB,WAAW,EAAE,8CAA8C;YAC3D,SAAS,EAAE,mCAAmC;SAC/C,CAAC,CAAC;QACH,MAAM,IAAI,GAAG;;;KAGZ,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9G,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,yBAAyB,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,gDAAgD;YAC7D,SAAS,EAAE,0BAA0B;SACtC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG;;;;;KAKZ,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9G,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gFAAgF,EAAE,GAAG,EAAE;QACxF,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,8CAA8C;YAC3D,SAAS,EAAE,8BAA8B;SAC1C,CAAC,CAAC;QACH,MAAM,IAAI,GAAG;;;;KAIZ,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9G,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+FAA+F,EAAE,GAAG,EAAE;QACvG,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,2CAA2C;YACxD,SAAS,EAAE,cAAc;SAC1B,CAAC,CAAC;QACH,MAAM,IAAI,GAAG;;;;;KAKZ,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9G,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,QAAQ,EAAE,UAAU;YACpB,WAAW,EAAE,mCAAmC;YAChD,SAAS,EAAE,mCAAmC;SAC/C,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,kBAAkB,CAAC;QAChC,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QACtH,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,4DAA4D;YACzE,SAAS,EAAE,8BAA8B;SAC1C,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,kBAAkB,CAAC;QAChC,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QACtH,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,QAAQ,EAAE,UAAU;YACpB,WAAW,EAAE,6CAA6C;YAC1D,SAAS,EAAE,gCAAgC;SAC5C,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,kBAAkB,CAAC;QAChC,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QACtH,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,uCAAuC;YACpD,SAAS,EAAE,mBAAmB;SAC/B,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,kBAAkB,CAAC;QAChC,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QACtH,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,+CAA+C;YAC5D,SAAS,EAAE,0BAA0B;SACtC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,kBAAkB,CAAC;QAChC,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QACtH,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,uDAAuD;YACpE,SAAS,EAAE,oBAAoB;SAChC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,kBAAkB,CAAC;QAChC,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QACtH,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,8BAA8B;YAC3C,SAAS,EAAE,oBAAoB;SAChC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,kBAAkB,CAAC;QAChC,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QACtH,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,4CAA4C;YACzD,SAAS,EAAE,wBAAwB;SACpC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,kBAAkB,CAAC;QAChC,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QACtH,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,0EAA0E;YACvF,SAAS,EAAE,6BAA6B;SACzC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,kBAAkB,CAAC;QAChC,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QACtH,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,wCAAwC;YACrD,SAAS,EAAE,oBAAoB;SAChC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG;;;;;;;;KAQZ,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtG,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,+CAA+C;YAC5D,SAAS,EAAE,+BAA+B;SAC3C,CAAC,CAAC;QACH,MAAM,IAAI,GAAG;;;;;;KAMZ,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACxG,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,0CAA0C;YACvD,SAAS,EAAE,uBAAuB;SACnC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG;;;;;;;KAOZ,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1G,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,uCAAuC;YACpD,SAAS,EAAE,yBAAyB;SACrC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG;;;;;;;;KAQZ,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACxG,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,oCAAoC;YACjD,SAAS,EAAE,yBAAyB;SACrC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG;;;;;;;KAOZ,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtG,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,+CAA+C;YAC5D,SAAS,EAAE,sBAAsB;SAClC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG;;;;;;;;KAQZ,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtG,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,WAAW,EAAE,sCAAsC;YACnD,SAAS,EAAE,oBAAoB;SAChC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG;;;;;;KAMZ,CAAC;QACF,MAAM,EAAE,aAAa,EAAE,GAAG,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACxG,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/lib/__tests__/formal-verifier-claimless-async.test.d.ts

@@ -0,0 +1 @@
+export {};