eyeprolog 0.5.13 → 0.5.14

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (31) hide show
  1. package/examples/auroracare.pl +26 -0
  2. package/examples/bmi.pl +20 -1
  3. package/examples/cdcl-sat-solver.pl +6 -6
  4. package/examples/composition-of-injective-functions-is-injective.pl +4 -1
  5. package/examples/deep-taxonomy-10.pl +2 -0
  6. package/examples/deep-taxonomy-100.pl +2 -0
  7. package/examples/deep-taxonomy-1000.pl +2 -0
  8. package/examples/deep-taxonomy-10000.pl +2 -0
  9. package/examples/exoplanet-validation-worlds.pl +3 -0
  10. package/examples/family-cousins.pl +2 -0
  11. package/examples/fastpow.pl +6 -6
  12. package/examples/flandor.pl +14 -0
  13. package/examples/gd-step-certified.pl +3 -0
  14. package/examples/group-inverse-uniqueness.pl +9 -9
  15. package/examples/illegitimate-reasoning.pl +6 -0
  16. package/examples/input/odrl-dpv-fpv-trust-flow-rules.pl +3 -9
  17. package/examples/list-collection.pl +6 -6
  18. package/examples/lldm.pl +2 -0
  19. package/examples/odrl-dpv-fpv-trust-flow.pl +3 -9
  20. package/examples/output/bmi.pl +9 -0
  21. package/examples/output/list-collection.pl +5 -5
  22. package/examples/pointer-analysis.pl +3 -0
  23. package/examples/proof/composition-of-injective-functions-is-injective.pl +80 -97
  24. package/examples/proof/group-inverse-uniqueness.pl +4 -4
  25. package/examples/proof/list-collection.pl +63 -19
  26. package/examples/proof/spacecraft-battery-diagnosis.pl +8 -8
  27. package/examples/relational-cube-lookup.pl +2002 -2000
  28. package/examples/riemann-hypothesis.pl +5 -0
  29. package/examples/spacecraft-battery-diagnosis.pl +8 -8
  30. package/examples/vulnerability-impact.pl +4 -0
  31. package/package.json +1 -1
package/examples/relational-cube-lookup.pl CHANGED
@@ -3380,2007 +3380,2009 @@ relation(a224, b192, c12, v224_12).
3380
3380
  relation(a224, b223, c13, v224_13).
3381
3381
  relation(a224, b254, c14, v224_14).
3382
3382
 
3383
+ relation_exists(A, C) :- relation(A, _, C, _).
3384
+
3383
3385
  lookupResult(case, passed) :-
3384
- relation(a0, _, c0, _),
3385
- relation(a44, _, c5, _),
3386
- relation(a88, _, c10, _),
3387
- relation(a132, _, c0, _),
3388
- relation(a176, _, c5, _),
3389
- relation(a220, _, c10, _),
3390
- relation(a39, _, c1, _),
3391
- relation(a83, _, c6, _),
3392
- relation(a127, _, c11, _),
3393
- relation(a171, _, c1, _),
3394
- relation(a215, _, c6, _),
3395
- relation(a34, _, c12, _),
3396
- relation(a78, _, c2, _),
3397
- relation(a122, _, c7, _),
3398
- relation(a166, _, c12, _),
3399
- relation(a210, _, c2, _),
3400
- relation(a29, _, c8, _),
3401
- relation(a73, _, c13, _),
3402
- relation(a117, _, c3, _),
3403
- relation(a161, _, c8, _),
3404
- relation(a205, _, c13, _),
3405
- relation(a24, _, c4, _),
3406
- relation(a68, _, c9, _),
3407
- relation(a112, _, c14, _),
3408
- relation(a156, _, c4, _),
3409
- relation(a200, _, c9, _),
3410
- relation(a19, _, c0, _),
3411
- relation(a63, _, c5, _),
3412
- relation(a107, _, c10, _),
3413
- relation(a151, _, c0, _),
3414
- relation(a195, _, c5, _),
3415
- relation(a14, _, c11, _),
3416
- relation(a58, _, c1, _),
3417
- relation(a102, _, c6, _),
3418
- relation(a146, _, c11, _),
3419
- relation(a190, _, c1, _),
3420
- relation(a9, _, c7, _),
3421
- relation(a53, _, c12, _),
3422
- relation(a97, _, c2, _),
3423
- relation(a141, _, c7, _),
3424
- relation(a185, _, c12, _),
3425
- relation(a4, _, c3, _),
3426
- relation(a48, _, c8, _),
3427
- relation(a92, _, c13, _),
3428
- relation(a136, _, c3, _),
3429
- relation(a180, _, c8, _),
3430
- relation(a224, _, c13, _),
3431
- relation(a43, _, c4, _),
3432
- relation(a87, _, c9, _),
3433
- relation(a131, _, c14, _),
3434
- relation(a175, _, c4, _),
3435
- relation(a219, _, c9, _),
3436
- relation(a38, _, c0, _),
3437
- relation(a82, _, c5, _),
3438
- relation(a126, _, c10, _),
3439
- relation(a170, _, c0, _),
3440
- relation(a214, _, c5, _),
3441
- relation(a33, _, c11, _),
3442
- relation(a77, _, c1, _),
3443
- relation(a121, _, c6, _),
3444
- relation(a165, _, c11, _),
3445
- relation(a209, _, c1, _),
3446
- relation(a28, _, c7, _),
3447
- relation(a72, _, c12, _),
3448
- relation(a116, _, c2, _),
3449
- relation(a160, _, c7, _),
3450
- relation(a204, _, c12, _),
3451
- relation(a23, _, c3, _),
3452
- relation(a67, _, c8, _),
3453
- relation(a111, _, c13, _),
3454
- relation(a155, _, c3, _),
3455
- relation(a199, _, c8, _),
3456
- relation(a18, _, c14, _),
3457
- relation(a62, _, c4, _),
3458
- relation(a106, _, c9, _),
3459
- relation(a150, _, c14, _),
3460
- relation(a194, _, c4, _),
3461
- relation(a13, _, c10, _),
3462
- relation(a57, _, c0, _),
3463
- relation(a101, _, c5, _),
3464
- relation(a145, _, c10, _),
3465
- relation(a189, _, c0, _),
3466
- relation(a8, _, c6, _),
3467
- relation(a52, _, c11, _),
3468
- relation(a96, _, c1, _),
3469
- relation(a140, _, c6, _),
3470
- relation(a184, _, c11, _),
3471
- relation(a3, _, c2, _),
3472
- relation(a47, _, c7, _),
3473
- relation(a91, _, c12, _),
3474
- relation(a135, _, c2, _),
3475
- relation(a179, _, c7, _),
3476
- relation(a223, _, c12, _),
3477
- relation(a42, _, c3, _),
3478
- relation(a86, _, c8, _),
3479
- relation(a130, _, c13, _),
3480
- relation(a174, _, c3, _),
3481
- relation(a218, _, c8, _),
3482
- relation(a37, _, c14, _),
3483
- relation(a81, _, c4, _),
3484
- relation(a125, _, c9, _),
3485
- relation(a169, _, c14, _),
3486
- relation(a213, _, c4, _),
3487
- relation(a32, _, c10, _),
3488
- relation(a76, _, c0, _),
3489
- relation(a120, _, c5, _),
3490
- relation(a164, _, c10, _),
3491
- relation(a208, _, c0, _),
3492
- relation(a27, _, c6, _),
3493
- relation(a71, _, c11, _),
3494
- relation(a115, _, c1, _),
3495
- relation(a159, _, c6, _),
3496
- relation(a203, _, c11, _),
3497
- relation(a22, _, c2, _),
3498
- relation(a66, _, c7, _),
3499
- relation(a110, _, c12, _),
3500
- relation(a154, _, c2, _),
3501
- relation(a198, _, c7, _),
3502
- relation(a17, _, c13, _),
3503
- relation(a61, _, c3, _),
3504
- relation(a105, _, c8, _),
3505
- relation(a149, _, c13, _),
3506
- relation(a193, _, c3, _),
3507
- relation(a12, _, c9, _),
3508
- relation(a56, _, c14, _),
3509
- relation(a100, _, c4, _),
3510
- relation(a144, _, c9, _),
3511
- relation(a188, _, c14, _),
3512
- relation(a7, _, c5, _),
3513
- relation(a51, _, c10, _),
3514
- relation(a95, _, c0, _),
3515
- relation(a139, _, c5, _),
3516
- relation(a183, _, c10, _),
3517
- relation(a2, _, c1, _),
3518
- relation(a46, _, c6, _),
3519
- relation(a90, _, c11, _),
3520
- relation(a134, _, c1, _),
3521
- relation(a178, _, c6, _),
3522
- relation(a222, _, c11, _),
3523
- relation(a41, _, c2, _),
3524
- relation(a85, _, c7, _),
3525
- relation(a129, _, c12, _),
3526
- relation(a173, _, c2, _),
3527
- relation(a217, _, c7, _),
3528
- relation(a36, _, c13, _),
3529
- relation(a80, _, c3, _),
3530
- relation(a124, _, c8, _),
3531
- relation(a168, _, c13, _),
3532
- relation(a212, _, c3, _),
3533
- relation(a31, _, c9, _),
3534
- relation(a75, _, c14, _),
3535
- relation(a119, _, c4, _),
3536
- relation(a163, _, c9, _),
3537
- relation(a207, _, c14, _),
3538
- relation(a26, _, c5, _),
3539
- relation(a70, _, c10, _),
3540
- relation(a114, _, c0, _),
3541
- relation(a158, _, c5, _),
3542
- relation(a202, _, c10, _),
3543
- relation(a21, _, c1, _),
3544
- relation(a65, _, c6, _),
3545
- relation(a109, _, c11, _),
3546
- relation(a153, _, c1, _),
3547
- relation(a197, _, c6, _),
3548
- relation(a16, _, c12, _),
3549
- relation(a60, _, c2, _),
3550
- relation(a104, _, c7, _),
3551
- relation(a148, _, c12, _),
3552
- relation(a192, _, c2, _),
3553
- relation(a11, _, c8, _),
3554
- relation(a55, _, c13, _),
3555
- relation(a99, _, c3, _),
3556
- relation(a143, _, c8, _),
3557
- relation(a187, _, c13, _),
3558
- relation(a6, _, c4, _),
3559
- relation(a50, _, c9, _),
3560
- relation(a94, _, c14, _),
3561
- relation(a138, _, c4, _),
3562
- relation(a182, _, c9, _),
3563
- relation(a1, _, c0, _),
3564
- relation(a45, _, c5, _),
3565
- relation(a89, _, c10, _),
3566
- relation(a133, _, c0, _),
3567
- relation(a177, _, c5, _),
3568
- relation(a221, _, c10, _),
3569
- relation(a40, _, c1, _),
3570
- relation(a84, _, c6, _),
3571
- relation(a128, _, c11, _),
3572
- relation(a172, _, c1, _),
3573
- relation(a216, _, c6, _),
3574
- relation(a35, _, c12, _),
3575
- relation(a79, _, c2, _),
3576
- relation(a123, _, c7, _),
3577
- relation(a167, _, c12, _),
3578
- relation(a211, _, c2, _),
3579
- relation(a30, _, c8, _),
3580
- relation(a74, _, c13, _),
3581
- relation(a118, _, c3, _),
3582
- relation(a162, _, c8, _),
3583
- relation(a206, _, c13, _),
3584
- relation(a25, _, c4, _),
3585
- relation(a69, _, c9, _),
3586
- relation(a113, _, c14, _),
3587
- relation(a157, _, c4, _),
3588
- relation(a201, _, c9, _),
3589
- relation(a20, _, c0, _),
3590
- relation(a64, _, c5, _),
3591
- relation(a108, _, c10, _),
3592
- relation(a152, _, c0, _),
3593
- relation(a196, _, c5, _),
3594
- relation(a15, _, c11, _),
3595
- relation(a59, _, c1, _),
3596
- relation(a103, _, c6, _),
3597
- relation(a147, _, c11, _),
3598
- relation(a191, _, c1, _),
3599
- relation(a10, _, c7, _),
3600
- relation(a54, _, c12, _),
3601
- relation(a98, _, c2, _),
3602
- relation(a142, _, c7, _),
3603
- relation(a186, _, c12, _),
3604
- relation(a5, _, c3, _),
3605
- relation(a49, _, c8, _),
3606
- relation(a93, _, c13, _),
3607
- relation(a137, _, c3, _),
3608
- relation(a181, _, c8, _),
3609
- relation(a0, _, c14, _),
3610
- relation(a44, _, c4, _),
3611
- relation(a88, _, c9, _),
3612
- relation(a132, _, c14, _),
3613
- relation(a176, _, c4, _),
3614
- relation(a220, _, c9, _),
3615
- relation(a39, _, c0, _),
3616
- relation(a83, _, c5, _),
3617
- relation(a127, _, c10, _),
3618
- relation(a171, _, c0, _),
3619
- relation(a215, _, c5, _),
3620
- relation(a34, _, c11, _),
3621
- relation(a78, _, c1, _),
3622
- relation(a122, _, c6, _),
3623
- relation(a166, _, c11, _),
3624
- relation(a210, _, c1, _),
3625
- relation(a29, _, c7, _),
3626
- relation(a73, _, c12, _),
3627
- relation(a117, _, c2, _),
3628
- relation(a161, _, c7, _),
3629
- relation(a205, _, c12, _),
3630
- relation(a24, _, c3, _),
3631
- relation(a68, _, c8, _),
3632
- relation(a112, _, c13, _),
3633
- relation(a156, _, c3, _),
3634
- relation(a200, _, c8, _),
3635
- relation(a19, _, c14, _),
3636
- relation(a63, _, c4, _),
3637
- relation(a107, _, c9, _),
3638
- relation(a151, _, c14, _),
3639
- relation(a195, _, c4, _),
3640
- relation(a14, _, c10, _),
3641
- relation(a58, _, c0, _),
3642
- relation(a102, _, c5, _),
3643
- relation(a146, _, c10, _),
3644
- relation(a190, _, c0, _),
3645
- relation(a9, _, c6, _),
3646
- relation(a53, _, c11, _),
3647
- relation(a97, _, c1, _),
3648
- relation(a141, _, c6, _),
3649
- relation(a185, _, c11, _),
3650
- relation(a4, _, c2, _),
3651
- relation(a48, _, c7, _),
3652
- relation(a92, _, c12, _),
3653
- relation(a136, _, c2, _),
3654
- relation(a180, _, c7, _),
3655
- relation(a224, _, c12, _),
3656
- relation(a43, _, c3, _),
3657
- relation(a87, _, c8, _),
3658
- relation(a131, _, c13, _),
3659
- relation(a175, _, c3, _),
3660
- relation(a219, _, c8, _),
3661
- relation(a38, _, c14, _),
3662
- relation(a82, _, c4, _),
3663
- relation(a126, _, c9, _),
3664
- relation(a170, _, c14, _),
3665
- relation(a214, _, c4, _),
3666
- relation(a33, _, c10, _),
3667
- relation(a77, _, c0, _),
3668
- relation(a121, _, c5, _),
3669
- relation(a165, _, c10, _),
3670
- relation(a209, _, c0, _),
3671
- relation(a28, _, c6, _),
3672
- relation(a72, _, c11, _),
3673
- relation(a116, _, c1, _),
3674
- relation(a160, _, c6, _),
3675
- relation(a204, _, c11, _),
3676
- relation(a23, _, c2, _),
3677
- relation(a67, _, c7, _),
3678
- relation(a111, _, c12, _),
3679
- relation(a155, _, c2, _),
3680
- relation(a199, _, c7, _),
3681
- relation(a18, _, c13, _),
3682
- relation(a62, _, c3, _),
3683
- relation(a106, _, c8, _),
3684
- relation(a150, _, c13, _),
3685
- relation(a194, _, c3, _),
3686
- relation(a13, _, c9, _),
3687
- relation(a57, _, c14, _),
3688
- relation(a101, _, c4, _),
3689
- relation(a145, _, c9, _),
3690
- relation(a189, _, c14, _),
3691
- relation(a8, _, c5, _),
3692
- relation(a52, _, c10, _),
3693
- relation(a96, _, c0, _),
3694
- relation(a140, _, c5, _),
3695
- relation(a184, _, c10, _),
3696
- relation(a3, _, c1, _),
3697
- relation(a47, _, c6, _),
3698
- relation(a91, _, c11, _),
3699
- relation(a135, _, c1, _),
3700
- relation(a179, _, c6, _),
3701
- relation(a223, _, c11, _),
3702
- relation(a42, _, c2, _),
3703
- relation(a86, _, c7, _),
3704
- relation(a130, _, c12, _),
3705
- relation(a174, _, c2, _),
3706
- relation(a218, _, c7, _),
3707
- relation(a37, _, c13, _),
3708
- relation(a81, _, c3, _),
3709
- relation(a125, _, c8, _),
3710
- relation(a169, _, c13, _),
3711
- relation(a213, _, c3, _),
3712
- relation(a32, _, c9, _),
3713
- relation(a76, _, c14, _),
3714
- relation(a120, _, c4, _),
3715
- relation(a164, _, c9, _),
3716
- relation(a208, _, c14, _),
3717
- relation(a27, _, c5, _),
3718
- relation(a71, _, c10, _),
3719
- relation(a115, _, c0, _),
3720
- relation(a159, _, c5, _),
3721
- relation(a203, _, c10, _),
3722
- relation(a22, _, c1, _),
3723
- relation(a66, _, c6, _),
3724
- relation(a110, _, c11, _),
3725
- relation(a154, _, c1, _),
3726
- relation(a198, _, c6, _),
3727
- relation(a17, _, c12, _),
3728
- relation(a61, _, c2, _),
3729
- relation(a105, _, c7, _),
3730
- relation(a149, _, c12, _),
3731
- relation(a193, _, c2, _),
3732
- relation(a12, _, c8, _),
3733
- relation(a56, _, c13, _),
3734
- relation(a100, _, c3, _),
3735
- relation(a144, _, c8, _),
3736
- relation(a188, _, c13, _),
3737
- relation(a7, _, c4, _),
3738
- relation(a51, _, c9, _),
3739
- relation(a95, _, c14, _),
3740
- relation(a139, _, c4, _),
3741
- relation(a183, _, c9, _),
3742
- relation(a2, _, c0, _),
3743
- relation(a46, _, c5, _),
3744
- relation(a90, _, c10, _),
3745
- relation(a134, _, c0, _),
3746
- relation(a178, _, c5, _),
3747
- relation(a222, _, c10, _),
3748
- relation(a41, _, c1, _),
3749
- relation(a85, _, c6, _),
3750
- relation(a129, _, c11, _),
3751
- relation(a173, _, c1, _),
3752
- relation(a217, _, c6, _),
3753
- relation(a36, _, c12, _),
3754
- relation(a80, _, c2, _),
3755
- relation(a124, _, c7, _),
3756
- relation(a168, _, c12, _),
3757
- relation(a212, _, c2, _),
3758
- relation(a31, _, c8, _),
3759
- relation(a75, _, c13, _),
3760
- relation(a119, _, c3, _),
3761
- relation(a163, _, c8, _),
3762
- relation(a207, _, c13, _),
3763
- relation(a26, _, c4, _),
3764
- relation(a70, _, c9, _),
3765
- relation(a114, _, c14, _),
3766
- relation(a158, _, c4, _),
3767
- relation(a202, _, c9, _),
3768
- relation(a21, _, c0, _),
3769
- relation(a65, _, c5, _),
3770
- relation(a109, _, c10, _),
3771
- relation(a153, _, c0, _),
3772
- relation(a197, _, c5, _),
3773
- relation(a16, _, c11, _),
3774
- relation(a60, _, c1, _),
3775
- relation(a104, _, c6, _),
3776
- relation(a148, _, c11, _),
3777
- relation(a192, _, c1, _),
3778
- relation(a11, _, c7, _),
3779
- relation(a55, _, c12, _),
3780
- relation(a99, _, c2, _),
3781
- relation(a143, _, c7, _),
3782
- relation(a187, _, c12, _),
3783
- relation(a6, _, c3, _),
3784
- relation(a50, _, c8, _),
3785
- relation(a94, _, c13, _),
3786
- relation(a138, _, c3, _),
3787
- relation(a182, _, c8, _),
3788
- relation(a1, _, c14, _),
3789
- relation(a45, _, c4, _),
3790
- relation(a89, _, c9, _),
3791
- relation(a133, _, c14, _),
3792
- relation(a177, _, c4, _),
3793
- relation(a221, _, c9, _),
3794
- relation(a40, _, c0, _),
3795
- relation(a84, _, c5, _),
3796
- relation(a128, _, c10, _),
3797
- relation(a172, _, c0, _),
3798
- relation(a216, _, c5, _),
3799
- relation(a35, _, c11, _),
3800
- relation(a79, _, c1, _),
3801
- relation(a123, _, c6, _),
3802
- relation(a167, _, c11, _),
3803
- relation(a211, _, c1, _),
3804
- relation(a30, _, c7, _),
3805
- relation(a74, _, c12, _),
3806
- relation(a118, _, c2, _),
3807
- relation(a162, _, c7, _),
3808
- relation(a206, _, c12, _),
3809
- relation(a25, _, c3, _),
3810
- relation(a69, _, c8, _),
3811
- relation(a113, _, c13, _),
3812
- relation(a157, _, c3, _),
3813
- relation(a201, _, c8, _),
3814
- relation(a20, _, c14, _),
3815
- relation(a64, _, c4, _),
3816
- relation(a108, _, c9, _),
3817
- relation(a152, _, c14, _),
3818
- relation(a196, _, c4, _),
3819
- relation(a15, _, c10, _),
3820
- relation(a59, _, c0, _),
3821
- relation(a103, _, c5, _),
3822
- relation(a147, _, c10, _),
3823
- relation(a191, _, c0, _),
3824
- relation(a10, _, c6, _),
3825
- relation(a54, _, c11, _),
3826
- relation(a98, _, c1, _),
3827
- relation(a142, _, c6, _),
3828
- relation(a186, _, c11, _),
3829
- relation(a5, _, c2, _),
3830
- relation(a49, _, c7, _),
3831
- relation(a93, _, c12, _),
3832
- relation(a137, _, c2, _),
3833
- relation(a181, _, c7, _),
3834
- relation(a0, _, c13, _),
3835
- relation(a44, _, c3, _),
3836
- relation(a88, _, c8, _),
3837
- relation(a132, _, c13, _),
3838
- relation(a176, _, c3, _),
3839
- relation(a220, _, c8, _),
3840
- relation(a39, _, c14, _),
3841
- relation(a83, _, c4, _),
3842
- relation(a127, _, c9, _),
3843
- relation(a171, _, c14, _),
3844
- relation(a215, _, c4, _),
3845
- relation(a34, _, c10, _),
3846
- relation(a78, _, c0, _),
3847
- relation(a122, _, c5, _),
3848
- relation(a166, _, c10, _),
3849
- relation(a210, _, c0, _),
3850
- relation(a29, _, c6, _),
3851
- relation(a73, _, c11, _),
3852
- relation(a117, _, c1, _),
3853
- relation(a161, _, c6, _),
3854
- relation(a205, _, c11, _),
3855
- relation(a24, _, c2, _),
3856
- relation(a68, _, c7, _),
3857
- relation(a112, _, c12, _),
3858
- relation(a156, _, c2, _),
3859
- relation(a200, _, c7, _),
3860
- relation(a19, _, c13, _),
3861
- relation(a63, _, c3, _),
3862
- relation(a107, _, c8, _),
3863
- relation(a151, _, c13, _),
3864
- relation(a195, _, c3, _),
3865
- relation(a14, _, c9, _),
3866
- relation(a58, _, c14, _),
3867
- relation(a102, _, c4, _),
3868
- relation(a146, _, c9, _),
3869
- relation(a190, _, c14, _),
3870
- relation(a9, _, c5, _),
3871
- relation(a53, _, c10, _),
3872
- relation(a97, _, c0, _),
3873
- relation(a141, _, c5, _),
3874
- relation(a185, _, c10, _),
3875
- relation(a4, _, c1, _),
3876
- relation(a48, _, c6, _),
3877
- relation(a92, _, c11, _),
3878
- relation(a136, _, c1, _),
3879
- relation(a180, _, c6, _),
3880
- relation(a224, _, c11, _),
3881
- relation(a43, _, c2, _),
3882
- relation(a87, _, c7, _),
3883
- relation(a131, _, c12, _),
3884
- relation(a175, _, c2, _),
3885
- relation(a219, _, c7, _),
3886
- relation(a38, _, c13, _),
3887
- relation(a82, _, c3, _),
3888
- relation(a126, _, c8, _),
3889
- relation(a170, _, c13, _),
3890
- relation(a214, _, c3, _),
3891
- relation(a33, _, c9, _),
3892
- relation(a77, _, c14, _),
3893
- relation(a121, _, c4, _),
3894
- relation(a165, _, c9, _),
3895
- relation(a209, _, c14, _),
3896
- relation(a28, _, c5, _),
3897
- relation(a72, _, c10, _),
3898
- relation(a116, _, c0, _),
3899
- relation(a160, _, c5, _),
3900
- relation(a204, _, c10, _),
3901
- relation(a23, _, c1, _),
3902
- relation(a67, _, c6, _),
3903
- relation(a111, _, c11, _),
3904
- relation(a155, _, c1, _),
3905
- relation(a199, _, c6, _),
3906
- relation(a18, _, c12, _),
3907
- relation(a62, _, c2, _),
3908
- relation(a106, _, c7, _),
3909
- relation(a150, _, c12, _),
3910
- relation(a194, _, c2, _),
3911
- relation(a13, _, c8, _),
3912
- relation(a57, _, c13, _),
3913
- relation(a101, _, c3, _),
3914
- relation(a145, _, c8, _),
3915
- relation(a189, _, c13, _),
3916
- relation(a8, _, c4, _),
3917
- relation(a52, _, c9, _),
3918
- relation(a96, _, c14, _),
3919
- relation(a140, _, c4, _),
3920
- relation(a184, _, c9, _),
3921
- relation(a3, _, c0, _),
3922
- relation(a47, _, c5, _),
3923
- relation(a91, _, c10, _),
3924
- relation(a135, _, c0, _),
3925
- relation(a179, _, c5, _),
3926
- relation(a223, _, c10, _),
3927
- relation(a42, _, c1, _),
3928
- relation(a86, _, c6, _),
3929
- relation(a130, _, c11, _),
3930
- relation(a174, _, c1, _),
3931
- relation(a218, _, c6, _),
3932
- relation(a37, _, c12, _),
3933
- relation(a81, _, c2, _),
3934
- relation(a125, _, c7, _),
3935
- relation(a169, _, c12, _),
3936
- relation(a213, _, c2, _),
3937
- relation(a32, _, c8, _),
3938
- relation(a76, _, c13, _),
3939
- relation(a120, _, c3, _),
3940
- relation(a164, _, c8, _),
3941
- relation(a208, _, c13, _),
3942
- relation(a27, _, c4, _),
3943
- relation(a71, _, c9, _),
3944
- relation(a115, _, c14, _),
3945
- relation(a159, _, c4, _),
3946
- relation(a203, _, c9, _),
3947
- relation(a22, _, c0, _),
3948
- relation(a66, _, c5, _),
3949
- relation(a110, _, c10, _),
3950
- relation(a154, _, c0, _),
3951
- relation(a198, _, c5, _),
3952
- relation(a17, _, c11, _),
3953
- relation(a61, _, c1, _),
3954
- relation(a105, _, c6, _),
3955
- relation(a149, _, c11, _),
3956
- relation(a193, _, c1, _),
3957
- relation(a12, _, c7, _),
3958
- relation(a56, _, c12, _),
3959
- relation(a100, _, c2, _),
3960
- relation(a144, _, c7, _),
3961
- relation(a188, _, c12, _),
3962
- relation(a7, _, c3, _),
3963
- relation(a51, _, c8, _),
3964
- relation(a95, _, c13, _),
3965
- relation(a139, _, c3, _),
3966
- relation(a183, _, c8, _),
3967
- relation(a2, _, c14, _),
3968
- relation(a46, _, c4, _),
3969
- relation(a90, _, c9, _),
3970
- relation(a134, _, c14, _),
3971
- relation(a178, _, c4, _),
3972
- relation(a222, _, c9, _),
3973
- relation(a41, _, c0, _),
3974
- relation(a85, _, c5, _),
3975
- relation(a129, _, c10, _),
3976
- relation(a173, _, c0, _),
3977
- relation(a217, _, c5, _),
3978
- relation(a36, _, c11, _),
3979
- relation(a80, _, c1, _),
3980
- relation(a124, _, c6, _),
3981
- relation(a168, _, c11, _),
3982
- relation(a212, _, c1, _),
3983
- relation(a31, _, c7, _),
3984
- relation(a75, _, c12, _),
3985
- relation(a119, _, c2, _),
3986
- relation(a163, _, c7, _),
3987
- relation(a207, _, c12, _),
3988
- relation(a26, _, c3, _),
3989
- relation(a70, _, c8, _),
3990
- relation(a114, _, c13, _),
3991
- relation(a158, _, c3, _),
3992
- relation(a202, _, c8, _),
3993
- relation(a21, _, c14, _),
3994
- relation(a65, _, c4, _),
3995
- relation(a109, _, c9, _),
3996
- relation(a153, _, c14, _),
3997
- relation(a197, _, c4, _),
3998
- relation(a16, _, c10, _),
3999
- relation(a60, _, c0, _),
4000
- relation(a104, _, c5, _),
4001
- relation(a148, _, c10, _),
4002
- relation(a192, _, c0, _),
4003
- relation(a11, _, c6, _),
4004
- relation(a55, _, c11, _),
4005
- relation(a99, _, c1, _),
4006
- relation(a143, _, c6, _),
4007
- relation(a187, _, c11, _),
4008
- relation(a6, _, c2, _),
4009
- relation(a50, _, c7, _),
4010
- relation(a94, _, c12, _),
4011
- relation(a138, _, c2, _),
4012
- relation(a182, _, c7, _),
4013
- relation(a1, _, c13, _),
4014
- relation(a45, _, c3, _),
4015
- relation(a89, _, c8, _),
4016
- relation(a133, _, c13, _),
4017
- relation(a177, _, c3, _),
4018
- relation(a221, _, c8, _),
4019
- relation(a40, _, c14, _),
4020
- relation(a84, _, c4, _),
4021
- relation(a128, _, c9, _),
4022
- relation(a172, _, c14, _),
4023
- relation(a216, _, c4, _),
4024
- relation(a35, _, c10, _),
4025
- relation(a79, _, c0, _),
4026
- relation(a123, _, c5, _),
4027
- relation(a167, _, c10, _),
4028
- relation(a211, _, c0, _),
4029
- relation(a30, _, c6, _),
4030
- relation(a74, _, c11, _),
4031
- relation(a118, _, c1, _),
4032
- relation(a162, _, c6, _),
4033
- relation(a206, _, c11, _),
4034
- relation(a25, _, c2, _),
4035
- relation(a69, _, c7, _),
4036
- relation(a113, _, c12, _),
4037
- relation(a157, _, c2, _),
4038
- relation(a201, _, c7, _),
4039
- relation(a20, _, c13, _),
4040
- relation(a64, _, c3, _),
4041
- relation(a108, _, c8, _),
4042
- relation(a152, _, c13, _),
4043
- relation(a196, _, c3, _),
4044
- relation(a15, _, c9, _),
4045
- relation(a59, _, c14, _),
4046
- relation(a103, _, c4, _),
4047
- relation(a147, _, c9, _),
4048
- relation(a191, _, c14, _),
4049
- relation(a10, _, c5, _),
4050
- relation(a54, _, c10, _),
4051
- relation(a98, _, c0, _),
4052
- relation(a142, _, c5, _),
4053
- relation(a186, _, c10, _),
4054
- relation(a5, _, c1, _),
4055
- relation(a49, _, c6, _),
4056
- relation(a93, _, c11, _),
4057
- relation(a137, _, c1, _),
4058
- relation(a181, _, c6, _),
4059
- relation(a0, _, c12, _),
4060
- relation(a44, _, c2, _),
4061
- relation(a88, _, c7, _),
4062
- relation(a132, _, c12, _),
4063
- relation(a176, _, c2, _),
4064
- relation(a220, _, c7, _),
4065
- relation(a39, _, c13, _),
4066
- relation(a83, _, c3, _),
4067
- relation(a127, _, c8, _),
4068
- relation(a171, _, c13, _),
4069
- relation(a215, _, c3, _),
4070
- relation(a34, _, c9, _),
4071
- relation(a78, _, c14, _),
4072
- relation(a122, _, c4, _),
4073
- relation(a166, _, c9, _),
4074
- relation(a210, _, c14, _),
4075
- relation(a29, _, c5, _),
4076
- relation(a73, _, c10, _),
4077
- relation(a117, _, c0, _),
4078
- relation(a161, _, c5, _),
4079
- relation(a205, _, c10, _),
4080
- relation(a24, _, c1, _),
4081
- relation(a68, _, c6, _),
4082
- relation(a112, _, c11, _),
4083
- relation(a156, _, c1, _),
4084
- relation(a200, _, c6, _),
4085
- relation(a19, _, c12, _),
4086
- relation(a63, _, c2, _),
4087
- relation(a107, _, c7, _),
4088
- relation(a151, _, c12, _),
4089
- relation(a195, _, c2, _),
4090
- relation(a14, _, c8, _),
4091
- relation(a58, _, c13, _),
4092
- relation(a102, _, c3, _),
4093
- relation(a146, _, c8, _),
4094
- relation(a190, _, c13, _),
4095
- relation(a9, _, c4, _),
4096
- relation(a53, _, c9, _),
4097
- relation(a97, _, c14, _),
4098
- relation(a141, _, c4, _),
4099
- relation(a185, _, c9, _),
4100
- relation(a4, _, c0, _),
4101
- relation(a48, _, c5, _),
4102
- relation(a92, _, c10, _),
4103
- relation(a136, _, c0, _),
4104
- relation(a180, _, c5, _),
4105
- relation(a224, _, c10, _),
4106
- relation(a43, _, c1, _),
4107
- relation(a87, _, c6, _),
4108
- relation(a131, _, c11, _),
4109
- relation(a175, _, c1, _),
4110
- relation(a219, _, c6, _),
4111
- relation(a38, _, c12, _),
4112
- relation(a82, _, c2, _),
4113
- relation(a126, _, c7, _),
4114
- relation(a170, _, c12, _),
4115
- relation(a214, _, c2, _),
4116
- relation(a33, _, c8, _),
4117
- relation(a77, _, c13, _),
4118
- relation(a121, _, c3, _),
4119
- relation(a165, _, c8, _),
4120
- relation(a209, _, c13, _),
4121
- relation(a28, _, c4, _),
4122
- relation(a72, _, c9, _),
4123
- relation(a116, _, c14, _),
4124
- relation(a160, _, c4, _),
4125
- relation(a204, _, c9, _),
4126
- relation(a23, _, c0, _),
4127
- relation(a67, _, c5, _),
4128
- relation(a111, _, c10, _),
4129
- relation(a155, _, c0, _),
4130
- relation(a199, _, c5, _),
4131
- relation(a18, _, c11, _),
4132
- relation(a62, _, c1, _),
4133
- relation(a106, _, c6, _),
4134
- relation(a150, _, c11, _),
4135
- relation(a194, _, c1, _),
4136
- relation(a13, _, c7, _),
4137
- relation(a57, _, c12, _),
4138
- relation(a101, _, c2, _),
4139
- relation(a145, _, c7, _),
4140
- relation(a189, _, c12, _),
4141
- relation(a8, _, c3, _),
4142
- relation(a52, _, c8, _),
4143
- relation(a96, _, c13, _),
4144
- relation(a140, _, c3, _),
4145
- relation(a184, _, c8, _),
4146
- relation(a3, _, c14, _),
4147
- relation(a47, _, c4, _),
4148
- relation(a91, _, c9, _),
4149
- relation(a135, _, c14, _),
4150
- relation(a179, _, c4, _),
4151
- relation(a223, _, c9, _),
4152
- relation(a42, _, c0, _),
4153
- relation(a86, _, c5, _),
4154
- relation(a130, _, c10, _),
4155
- relation(a174, _, c0, _),
4156
- relation(a218, _, c5, _),
4157
- relation(a37, _, c11, _),
4158
- relation(a81, _, c1, _),
4159
- relation(a125, _, c6, _),
4160
- relation(a169, _, c11, _),
4161
- relation(a213, _, c1, _),
4162
- relation(a32, _, c7, _),
4163
- relation(a76, _, c12, _),
4164
- relation(a120, _, c2, _),
4165
- relation(a164, _, c7, _),
4166
- relation(a208, _, c12, _),
4167
- relation(a27, _, c3, _),
4168
- relation(a71, _, c8, _),
4169
- relation(a115, _, c13, _),
4170
- relation(a159, _, c3, _),
4171
- relation(a203, _, c8, _),
4172
- relation(a22, _, c14, _),
4173
- relation(a66, _, c4, _),
4174
- relation(a110, _, c9, _),
4175
- relation(a154, _, c14, _),
4176
- relation(a198, _, c4, _),
4177
- relation(a17, _, c10, _),
4178
- relation(a61, _, c0, _),
4179
- relation(a105, _, c5, _),
4180
- relation(a149, _, c10, _),
4181
- relation(a193, _, c0, _),
4182
- relation(a12, _, c6, _),
4183
- relation(a56, _, c11, _),
4184
- relation(a100, _, c1, _),
4185
- relation(a144, _, c6, _),
4186
- relation(a188, _, c11, _),
4187
- relation(a7, _, c2, _),
4188
- relation(a51, _, c7, _),
4189
- relation(a95, _, c12, _),
4190
- relation(a139, _, c2, _),
4191
- relation(a183, _, c7, _),
4192
- relation(a2, _, c13, _),
4193
- relation(a46, _, c3, _),
4194
- relation(a90, _, c8, _),
4195
- relation(a134, _, c13, _),
4196
- relation(a178, _, c3, _),
4197
- relation(a222, _, c8, _),
4198
- relation(a41, _, c14, _),
4199
- relation(a85, _, c4, _),
4200
- relation(a129, _, c9, _),
4201
- relation(a173, _, c14, _),
4202
- relation(a217, _, c4, _),
4203
- relation(a36, _, c10, _),
4204
- relation(a80, _, c0, _),
4205
- relation(a124, _, c5, _),
4206
- relation(a168, _, c10, _),
4207
- relation(a212, _, c0, _),
4208
- relation(a31, _, c6, _),
4209
- relation(a75, _, c11, _),
4210
- relation(a119, _, c1, _),
4211
- relation(a163, _, c6, _),
4212
- relation(a207, _, c11, _),
4213
- relation(a26, _, c2, _),
4214
- relation(a70, _, c7, _),
4215
- relation(a114, _, c12, _),
4216
- relation(a158, _, c2, _),
4217
- relation(a202, _, c7, _),
4218
- relation(a21, _, c13, _),
4219
- relation(a65, _, c3, _),
4220
- relation(a109, _, c8, _),
4221
- relation(a153, _, c13, _),
4222
- relation(a197, _, c3, _),
4223
- relation(a16, _, c9, _),
4224
- relation(a60, _, c14, _),
4225
- relation(a104, _, c4, _),
4226
- relation(a148, _, c9, _),
4227
- relation(a192, _, c14, _),
4228
- relation(a11, _, c5, _),
4229
- relation(a55, _, c10, _),
4230
- relation(a99, _, c0, _),
4231
- relation(a143, _, c5, _),
4232
- relation(a187, _, c10, _),
4233
- relation(a6, _, c1, _),
4234
- relation(a50, _, c6, _),
4235
- relation(a94, _, c11, _),
4236
- relation(a138, _, c1, _),
4237
- relation(a182, _, c6, _),
4238
- relation(a1, _, c12, _),
4239
- relation(a45, _, c2, _),
4240
- relation(a89, _, c7, _),
4241
- relation(a133, _, c12, _),
4242
- relation(a177, _, c2, _),
4243
- relation(a221, _, c7, _),
4244
- relation(a40, _, c13, _),
4245
- relation(a84, _, c3, _),
4246
- relation(a128, _, c8, _),
4247
- relation(a172, _, c13, _),
4248
- relation(a216, _, c3, _),
4249
- relation(a35, _, c9, _),
4250
- relation(a79, _, c14, _),
4251
- relation(a123, _, c4, _),
4252
- relation(a167, _, c9, _),
4253
- relation(a211, _, c14, _),
4254
- relation(a30, _, c5, _),
4255
- relation(a74, _, c10, _),
4256
- relation(a118, _, c0, _),
4257
- relation(a162, _, c5, _),
4258
- relation(a206, _, c10, _),
4259
- relation(a25, _, c1, _),
4260
- relation(a69, _, c6, _),
4261
- relation(a113, _, c11, _),
4262
- relation(a157, _, c1, _),
4263
- relation(a201, _, c6, _),
4264
- relation(a20, _, c12, _),
4265
- relation(a64, _, c2, _),
4266
- relation(a108, _, c7, _),
4267
- relation(a152, _, c12, _),
4268
- relation(a196, _, c2, _),
4269
- relation(a15, _, c8, _),
4270
- relation(a59, _, c13, _),
4271
- relation(a103, _, c3, _),
4272
- relation(a147, _, c8, _),
4273
- relation(a191, _, c13, _),
4274
- relation(a10, _, c4, _),
4275
- relation(a54, _, c9, _),
4276
- relation(a98, _, c14, _),
4277
- relation(a142, _, c4, _),
4278
- relation(a186, _, c9, _),
4279
- relation(a5, _, c0, _),
4280
- relation(a49, _, c5, _),
4281
- relation(a93, _, c10, _),
4282
- relation(a137, _, c0, _),
4283
- relation(a181, _, c5, _),
4284
- relation(a0, _, c11, _),
4285
- relation(a44, _, c1, _),
4286
- relation(a88, _, c6, _),
4287
- relation(a132, _, c11, _),
4288
- relation(a176, _, c1, _),
4289
- relation(a220, _, c6, _),
4290
- relation(a39, _, c12, _),
4291
- relation(a83, _, c2, _),
4292
- relation(a127, _, c7, _),
4293
- relation(a171, _, c12, _),
4294
- relation(a215, _, c2, _),
4295
- relation(a34, _, c8, _),
4296
- relation(a78, _, c13, _),
4297
- relation(a122, _, c3, _),
4298
- relation(a166, _, c8, _),
4299
- relation(a210, _, c13, _),
4300
- relation(a29, _, c4, _),
4301
- relation(a73, _, c9, _),
4302
- relation(a117, _, c14, _),
4303
- relation(a161, _, c4, _),
4304
- relation(a205, _, c9, _),
4305
- relation(a24, _, c0, _),
4306
- relation(a68, _, c5, _),
4307
- relation(a112, _, c10, _),
4308
- relation(a156, _, c0, _),
4309
- relation(a200, _, c5, _),
4310
- relation(a19, _, c11, _),
4311
- relation(a63, _, c1, _),
4312
- relation(a107, _, c6, _),
4313
- relation(a151, _, c11, _),
4314
- relation(a195, _, c1, _),
4315
- relation(a14, _, c7, _),
4316
- relation(a58, _, c12, _),
4317
- relation(a102, _, c2, _),
4318
- relation(a146, _, c7, _),
4319
- relation(a190, _, c12, _),
4320
- relation(a9, _, c3, _),
4321
- relation(a53, _, c8, _),
4322
- relation(a97, _, c13, _),
4323
- relation(a141, _, c3, _),
4324
- relation(a185, _, c8, _),
4325
- relation(a4, _, c14, _),
4326
- relation(a48, _, c4, _),
4327
- relation(a92, _, c9, _),
4328
- relation(a136, _, c14, _),
4329
- relation(a180, _, c4, _),
4330
- relation(a224, _, c9, _),
4331
- relation(a43, _, c0, _),
4332
- relation(a87, _, c5, _),
4333
- relation(a131, _, c10, _),
4334
- relation(a175, _, c0, _),
4335
- relation(a219, _, c5, _),
4336
- relation(a38, _, c11, _),
4337
- relation(a82, _, c1, _),
4338
- relation(a126, _, c6, _),
4339
- relation(a170, _, c11, _),
4340
- relation(a214, _, c1, _),
4341
- relation(a33, _, c7, _),
4342
- relation(a77, _, c12, _),
4343
- relation(a121, _, c2, _),
4344
- relation(a165, _, c7, _),
4345
- relation(a209, _, c12, _),
4346
- relation(a28, _, c3, _),
4347
- relation(a72, _, c8, _),
4348
- relation(a116, _, c13, _),
4349
- relation(a160, _, c3, _),
4350
- relation(a204, _, c8, _),
4351
- relation(a23, _, c14, _),
4352
- relation(a67, _, c4, _),
4353
- relation(a111, _, c9, _),
4354
- relation(a155, _, c14, _),
4355
- relation(a199, _, c4, _),
4356
- relation(a18, _, c10, _),
4357
- relation(a62, _, c0, _),
4358
- relation(a106, _, c5, _),
4359
- relation(a150, _, c10, _),
4360
- relation(a194, _, c0, _),
4361
- relation(a13, _, c6, _),
4362
- relation(a57, _, c11, _),
4363
- relation(a101, _, c1, _),
4364
- relation(a145, _, c6, _),
4365
- relation(a189, _, c11, _),
4366
- relation(a8, _, c2, _),
4367
- relation(a52, _, c7, _),
4368
- relation(a96, _, c12, _),
4369
- relation(a140, _, c2, _),
4370
- relation(a184, _, c7, _),
4371
- relation(a3, _, c13, _),
4372
- relation(a47, _, c3, _),
4373
- relation(a91, _, c8, _),
4374
- relation(a135, _, c13, _),
4375
- relation(a179, _, c3, _),
4376
- relation(a223, _, c8, _),
4377
- relation(a42, _, c14, _),
4378
- relation(a86, _, c4, _),
4379
- relation(a130, _, c9, _),
4380
- relation(a174, _, c14, _),
4381
- relation(a218, _, c4, _),
4382
- relation(a37, _, c10, _),
4383
- relation(a81, _, c0, _),
4384
- relation(a125, _, c5, _),
4385
- relation(a169, _, c10, _),
4386
- relation(a213, _, c0, _),
4387
- relation(a32, _, c6, _),
4388
- relation(a76, _, c11, _),
4389
- relation(a120, _, c1, _),
4390
- relation(a164, _, c6, _),
4391
- relation(a208, _, c11, _),
4392
- relation(a27, _, c2, _),
4393
- relation(a71, _, c7, _),
4394
- relation(a115, _, c12, _),
4395
- relation(a159, _, c2, _),
4396
- relation(a203, _, c7, _),
4397
- relation(a22, _, c13, _),
4398
- relation(a66, _, c3, _),
4399
- relation(a110, _, c8, _),
4400
- relation(a154, _, c13, _),
4401
- relation(a198, _, c3, _),
4402
- relation(a17, _, c9, _),
4403
- relation(a61, _, c14, _),
4404
- relation(a105, _, c4, _),
4405
- relation(a149, _, c9, _),
4406
- relation(a193, _, c14, _),
4407
- relation(a12, _, c5, _),
4408
- relation(a56, _, c10, _),
4409
- relation(a100, _, c0, _),
4410
- relation(a144, _, c5, _),
4411
- relation(a188, _, c10, _),
4412
- relation(a7, _, c1, _),
4413
- relation(a51, _, c6, _),
4414
- relation(a95, _, c11, _),
4415
- relation(a139, _, c1, _),
4416
- relation(a183, _, c6, _),
4417
- relation(a2, _, c12, _),
4418
- relation(a46, _, c2, _),
4419
- relation(a90, _, c7, _),
4420
- relation(a134, _, c12, _),
4421
- relation(a178, _, c2, _),
4422
- relation(a222, _, c7, _),
4423
- relation(a41, _, c13, _),
4424
- relation(a85, _, c3, _),
4425
- relation(a129, _, c8, _),
4426
- relation(a173, _, c13, _),
4427
- relation(a217, _, c3, _),
4428
- relation(a36, _, c9, _),
4429
- relation(a80, _, c14, _),
4430
- relation(a124, _, c4, _),
4431
- relation(a168, _, c9, _),
4432
- relation(a212, _, c14, _),
4433
- relation(a31, _, c5, _),
4434
- relation(a75, _, c10, _),
4435
- relation(a119, _, c0, _),
4436
- relation(a163, _, c5, _),
4437
- relation(a207, _, c10, _),
4438
- relation(a26, _, c1, _),
4439
- relation(a70, _, c6, _),
4440
- relation(a114, _, c11, _),
4441
- relation(a158, _, c1, _),
4442
- relation(a202, _, c6, _),
4443
- relation(a21, _, c12, _),
4444
- relation(a65, _, c2, _),
4445
- relation(a109, _, c7, _),
4446
- relation(a153, _, c12, _),
4447
- relation(a197, _, c2, _),
4448
- relation(a16, _, c8, _),
4449
- relation(a60, _, c13, _),
4450
- relation(a104, _, c3, _),
4451
- relation(a148, _, c8, _),
4452
- relation(a192, _, c13, _),
4453
- relation(a11, _, c4, _),
4454
- relation(a55, _, c9, _),
4455
- relation(a99, _, c14, _),
4456
- relation(a143, _, c4, _),
4457
- relation(a187, _, c9, _),
4458
- relation(a6, _, c0, _),
4459
- relation(a50, _, c5, _),
4460
- relation(a94, _, c10, _),
4461
- relation(a138, _, c0, _),
4462
- relation(a182, _, c5, _),
4463
- relation(a1, _, c11, _),
4464
- relation(a45, _, c1, _),
4465
- relation(a89, _, c6, _),
4466
- relation(a133, _, c11, _),
4467
- relation(a177, _, c1, _),
4468
- relation(a221, _, c6, _),
4469
- relation(a40, _, c12, _),
4470
- relation(a84, _, c2, _),
4471
- relation(a128, _, c7, _),
4472
- relation(a172, _, c12, _),
4473
- relation(a216, _, c2, _),
4474
- relation(a35, _, c8, _),
4475
- relation(a79, _, c13, _),
4476
- relation(a123, _, c3, _),
4477
- relation(a167, _, c8, _),
4478
- relation(a211, _, c13, _),
4479
- relation(a30, _, c4, _),
4480
- relation(a74, _, c9, _),
4481
- relation(a118, _, c14, _),
4482
- relation(a162, _, c4, _),
4483
- relation(a206, _, c9, _),
4484
- relation(a25, _, c0, _),
4485
- relation(a69, _, c5, _),
4486
- relation(a113, _, c10, _),
4487
- relation(a157, _, c0, _),
4488
- relation(a201, _, c5, _),
4489
- relation(a20, _, c11, _),
4490
- relation(a64, _, c1, _),
4491
- relation(a108, _, c6, _),
4492
- relation(a152, _, c11, _),
4493
- relation(a196, _, c1, _),
4494
- relation(a15, _, c7, _),
4495
- relation(a59, _, c12, _),
4496
- relation(a103, _, c2, _),
4497
- relation(a147, _, c7, _),
4498
- relation(a191, _, c12, _),
4499
- relation(a10, _, c3, _),
4500
- relation(a54, _, c8, _),
4501
- relation(a98, _, c13, _),
4502
- relation(a142, _, c3, _),
4503
- relation(a186, _, c8, _),
4504
- relation(a5, _, c14, _),
4505
- relation(a49, _, c4, _),
4506
- relation(a93, _, c9, _),
4507
- relation(a137, _, c14, _),
4508
- relation(a181, _, c4, _),
4509
- relation(a0, _, c10, _),
4510
- relation(a44, _, c0, _),
4511
- relation(a88, _, c5, _),
4512
- relation(a132, _, c10, _),
4513
- relation(a176, _, c0, _),
4514
- relation(a220, _, c5, _),
4515
- relation(a39, _, c11, _),
4516
- relation(a83, _, c1, _),
4517
- relation(a127, _, c6, _),
4518
- relation(a171, _, c11, _),
4519
- relation(a215, _, c1, _),
4520
- relation(a34, _, c7, _),
4521
- relation(a78, _, c12, _),
4522
- relation(a122, _, c2, _),
4523
- relation(a166, _, c7, _),
4524
- relation(a210, _, c12, _),
4525
- relation(a29, _, c3, _),
4526
- relation(a73, _, c8, _),
4527
- relation(a117, _, c13, _),
4528
- relation(a161, _, c3, _),
4529
- relation(a205, _, c8, _),
4530
- relation(a24, _, c14, _),
4531
- relation(a68, _, c4, _),
4532
- relation(a112, _, c9, _),
4533
- relation(a156, _, c14, _),
4534
- relation(a200, _, c4, _),
4535
- relation(a19, _, c10, _),
4536
- relation(a63, _, c0, _),
4537
- relation(a107, _, c5, _),
4538
- relation(a151, _, c10, _),
4539
- relation(a195, _, c0, _),
4540
- relation(a14, _, c6, _),
4541
- relation(a58, _, c11, _),
4542
- relation(a102, _, c1, _),
4543
- relation(a146, _, c6, _),
4544
- relation(a190, _, c11, _),
4545
- relation(a9, _, c2, _),
4546
- relation(a53, _, c7, _),
4547
- relation(a97, _, c12, _),
4548
- relation(a141, _, c2, _),
4549
- relation(a185, _, c7, _),
4550
- relation(a4, _, c13, _),
4551
- relation(a48, _, c3, _),
4552
- relation(a92, _, c8, _),
4553
- relation(a136, _, c13, _),
4554
- relation(a180, _, c3, _),
4555
- relation(a224, _, c8, _),
4556
- relation(a43, _, c14, _),
4557
- relation(a87, _, c4, _),
4558
- relation(a131, _, c9, _),
4559
- relation(a175, _, c14, _),
4560
- relation(a219, _, c4, _),
4561
- relation(a38, _, c10, _),
4562
- relation(a82, _, c0, _),
4563
- relation(a126, _, c5, _),
4564
- relation(a170, _, c10, _),
4565
- relation(a214, _, c0, _),
4566
- relation(a33, _, c6, _),
4567
- relation(a77, _, c11, _),
4568
- relation(a121, _, c1, _),
4569
- relation(a165, _, c6, _),
4570
- relation(a209, _, c11, _),
4571
- relation(a28, _, c2, _),
4572
- relation(a72, _, c7, _),
4573
- relation(a116, _, c12, _),
4574
- relation(a160, _, c2, _),
4575
- relation(a204, _, c7, _),
4576
- relation(a23, _, c13, _),
4577
- relation(a67, _, c3, _),
4578
- relation(a111, _, c8, _),
4579
- relation(a155, _, c13, _),
4580
- relation(a199, _, c3, _),
4581
- relation(a18, _, c9, _),
4582
- relation(a62, _, c14, _),
4583
- relation(a106, _, c4, _),
4584
- relation(a150, _, c9, _),
4585
- relation(a194, _, c14, _),
4586
- relation(a13, _, c5, _),
4587
- relation(a57, _, c10, _),
4588
- relation(a101, _, c0, _),
4589
- relation(a145, _, c5, _),
4590
- relation(a189, _, c10, _),
4591
- relation(a8, _, c1, _),
4592
- relation(a52, _, c6, _),
4593
- relation(a96, _, c11, _),
4594
- relation(a140, _, c1, _),
4595
- relation(a184, _, c6, _),
4596
- relation(a3, _, c12, _),
4597
- relation(a47, _, c2, _),
4598
- relation(a91, _, c7, _),
4599
- relation(a135, _, c12, _),
4600
- relation(a179, _, c2, _),
4601
- relation(a223, _, c7, _),
4602
- relation(a42, _, c13, _),
4603
- relation(a86, _, c3, _),
4604
- relation(a130, _, c8, _),
4605
- relation(a174, _, c13, _),
4606
- relation(a218, _, c3, _),
4607
- relation(a37, _, c9, _),
4608
- relation(a81, _, c14, _),
4609
- relation(a125, _, c4, _),
4610
- relation(a169, _, c9, _),
4611
- relation(a213, _, c14, _),
4612
- relation(a32, _, c5, _),
4613
- relation(a76, _, c10, _),
4614
- relation(a120, _, c0, _),
4615
- relation(a164, _, c5, _),
4616
- relation(a208, _, c10, _),
4617
- relation(a27, _, c1, _),
4618
- relation(a71, _, c6, _),
4619
- relation(a115, _, c11, _),
4620
- relation(a159, _, c1, _),
4621
- relation(a203, _, c6, _),
4622
- relation(a22, _, c12, _),
4623
- relation(a66, _, c2, _),
4624
- relation(a110, _, c7, _),
4625
- relation(a154, _, c12, _),
4626
- relation(a198, _, c2, _),
4627
- relation(a17, _, c8, _),
4628
- relation(a61, _, c13, _),
4629
- relation(a105, _, c3, _),
4630
- relation(a149, _, c8, _),
4631
- relation(a193, _, c13, _),
4632
- relation(a12, _, c4, _),
4633
- relation(a56, _, c9, _),
4634
- relation(a100, _, c14, _),
4635
- relation(a144, _, c4, _),
4636
- relation(a188, _, c9, _),
4637
- relation(a7, _, c0, _),
4638
- relation(a51, _, c5, _),
4639
- relation(a95, _, c10, _),
4640
- relation(a139, _, c0, _),
4641
- relation(a183, _, c5, _),
4642
- relation(a2, _, c11, _),
4643
- relation(a46, _, c1, _),
4644
- relation(a90, _, c6, _),
4645
- relation(a134, _, c11, _),
4646
- relation(a178, _, c1, _),
4647
- relation(a222, _, c6, _),
4648
- relation(a41, _, c12, _),
4649
- relation(a85, _, c2, _),
4650
- relation(a129, _, c7, _),
4651
- relation(a173, _, c12, _),
4652
- relation(a217, _, c2, _),
4653
- relation(a36, _, c8, _),
4654
- relation(a80, _, c13, _),
4655
- relation(a124, _, c3, _),
4656
- relation(a168, _, c8, _),
4657
- relation(a212, _, c13, _),
4658
- relation(a31, _, c4, _),
4659
- relation(a75, _, c9, _),
4660
- relation(a119, _, c14, _),
4661
- relation(a163, _, c4, _),
4662
- relation(a207, _, c9, _),
4663
- relation(a26, _, c0, _),
4664
- relation(a70, _, c5, _),
4665
- relation(a114, _, c10, _),
4666
- relation(a158, _, c0, _),
4667
- relation(a202, _, c5, _),
4668
- relation(a21, _, c11, _),
4669
- relation(a65, _, c1, _),
4670
- relation(a109, _, c6, _),
4671
- relation(a153, _, c11, _),
4672
- relation(a197, _, c1, _),
4673
- relation(a16, _, c7, _),
4674
- relation(a60, _, c12, _),
4675
- relation(a104, _, c2, _),
4676
- relation(a148, _, c7, _),
4677
- relation(a192, _, c12, _),
4678
- relation(a11, _, c3, _),
4679
- relation(a55, _, c8, _),
4680
- relation(a99, _, c13, _),
4681
- relation(a143, _, c3, _),
4682
- relation(a187, _, c8, _),
4683
- relation(a6, _, c14, _),
4684
- relation(a50, _, c4, _),
4685
- relation(a94, _, c9, _),
4686
- relation(a138, _, c14, _),
4687
- relation(a182, _, c4, _),
4688
- relation(a1, _, c10, _),
4689
- relation(a45, _, c0, _),
4690
- relation(a89, _, c5, _),
4691
- relation(a133, _, c10, _),
4692
- relation(a177, _, c0, _),
4693
- relation(a221, _, c5, _),
4694
- relation(a40, _, c11, _),
4695
- relation(a84, _, c1, _),
4696
- relation(a128, _, c6, _),
4697
- relation(a172, _, c11, _),
4698
- relation(a216, _, c1, _),
4699
- relation(a35, _, c7, _),
4700
- relation(a79, _, c12, _),
4701
- relation(a123, _, c2, _),
4702
- relation(a167, _, c7, _),
4703
- relation(a211, _, c12, _),
4704
- relation(a30, _, c3, _),
4705
- relation(a74, _, c8, _),
4706
- relation(a118, _, c13, _),
4707
- relation(a162, _, c3, _),
4708
- relation(a206, _, c8, _),
4709
- relation(a25, _, c14, _),
4710
- relation(a69, _, c4, _),
4711
- relation(a113, _, c9, _),
4712
- relation(a157, _, c14, _),
4713
- relation(a201, _, c4, _),
4714
- relation(a20, _, c10, _),
4715
- relation(a64, _, c0, _),
4716
- relation(a108, _, c5, _),
4717
- relation(a152, _, c10, _),
4718
- relation(a196, _, c0, _),
4719
- relation(a15, _, c6, _),
4720
- relation(a59, _, c11, _),
4721
- relation(a103, _, c1, _),
4722
- relation(a147, _, c6, _),
4723
- relation(a191, _, c11, _),
4724
- relation(a10, _, c2, _),
4725
- relation(a54, _, c7, _),
4726
- relation(a98, _, c12, _),
4727
- relation(a142, _, c2, _),
4728
- relation(a186, _, c7, _),
4729
- relation(a5, _, c13, _),
4730
- relation(a49, _, c3, _),
4731
- relation(a93, _, c8, _),
4732
- relation(a137, _, c13, _),
4733
- relation(a181, _, c3, _),
4734
- relation(a0, _, c9, _),
4735
- relation(a44, _, c14, _),
4736
- relation(a88, _, c4, _),
4737
- relation(a132, _, c9, _),
4738
- relation(a176, _, c14, _),
4739
- relation(a220, _, c4, _),
4740
- relation(a39, _, c10, _),
4741
- relation(a83, _, c0, _),
4742
- relation(a127, _, c5, _),
4743
- relation(a171, _, c10, _),
4744
- relation(a215, _, c0, _),
4745
- relation(a34, _, c6, _),
4746
- relation(a78, _, c11, _),
4747
- relation(a122, _, c1, _),
4748
- relation(a166, _, c6, _),
4749
- relation(a210, _, c11, _),
4750
- relation(a29, _, c2, _),
4751
- relation(a73, _, c7, _),
4752
- relation(a117, _, c12, _),
4753
- relation(a161, _, c2, _),
4754
- relation(a205, _, c7, _),
4755
- relation(a24, _, c13, _),
4756
- relation(a68, _, c3, _),
4757
- relation(a112, _, c8, _),
4758
- relation(a156, _, c13, _),
4759
- relation(a200, _, c3, _),
4760
- relation(a19, _, c9, _),
4761
- relation(a63, _, c14, _),
4762
- relation(a107, _, c4, _),
4763
- relation(a151, _, c9, _),
4764
- relation(a195, _, c14, _),
4765
- relation(a14, _, c5, _),
4766
- relation(a58, _, c10, _),
4767
- relation(a102, _, c0, _),
4768
- relation(a146, _, c5, _),
4769
- relation(a190, _, c10, _),
4770
- relation(a9, _, c1, _),
4771
- relation(a53, _, c6, _),
4772
- relation(a97, _, c11, _),
4773
- relation(a141, _, c1, _),
4774
- relation(a185, _, c6, _),
4775
- relation(a4, _, c12, _),
4776
- relation(a48, _, c2, _),
4777
- relation(a92, _, c7, _),
4778
- relation(a136, _, c12, _),
4779
- relation(a180, _, c2, _),
4780
- relation(a224, _, c7, _),
4781
- relation(a43, _, c13, _),
4782
- relation(a87, _, c3, _),
4783
- relation(a131, _, c8, _),
4784
- relation(a175, _, c13, _),
4785
- relation(a219, _, c3, _),
4786
- relation(a38, _, c9, _),
4787
- relation(a82, _, c14, _),
4788
- relation(a126, _, c4, _),
4789
- relation(a170, _, c9, _),
4790
- relation(a214, _, c14, _),
4791
- relation(a33, _, c5, _),
4792
- relation(a77, _, c10, _),
4793
- relation(a121, _, c0, _),
4794
- relation(a165, _, c5, _),
4795
- relation(a209, _, c10, _),
4796
- relation(a28, _, c1, _),
4797
- relation(a72, _, c6, _),
4798
- relation(a116, _, c11, _),
4799
- relation(a160, _, c1, _),
4800
- relation(a204, _, c6, _),
4801
- relation(a23, _, c12, _),
4802
- relation(a67, _, c2, _),
4803
- relation(a111, _, c7, _),
4804
- relation(a155, _, c12, _),
4805
- relation(a199, _, c2, _),
4806
- relation(a18, _, c8, _),
4807
- relation(a62, _, c13, _),
4808
- relation(a106, _, c3, _),
4809
- relation(a150, _, c8, _),
4810
- relation(a194, _, c13, _),
4811
- relation(a13, _, c4, _),
4812
- relation(a57, _, c9, _),
4813
- relation(a101, _, c14, _),
4814
- relation(a145, _, c4, _),
4815
- relation(a189, _, c9, _),
4816
- relation(a8, _, c0, _),
4817
- relation(a52, _, c5, _),
4818
- relation(a96, _, c10, _),
4819
- relation(a140, _, c0, _),
4820
- relation(a184, _, c5, _),
4821
- relation(a3, _, c11, _),
4822
- relation(a47, _, c1, _),
4823
- relation(a91, _, c6, _),
4824
- relation(a135, _, c11, _),
4825
- relation(a179, _, c1, _),
4826
- relation(a223, _, c6, _),
4827
- relation(a42, _, c12, _),
4828
- relation(a86, _, c2, _),
4829
- relation(a130, _, c7, _),
4830
- relation(a174, _, c12, _),
4831
- relation(a218, _, c2, _),
4832
- relation(a37, _, c8, _),
4833
- relation(a81, _, c13, _),
4834
- relation(a125, _, c3, _),
4835
- relation(a169, _, c8, _),
4836
- relation(a213, _, c13, _),
4837
- relation(a32, _, c4, _),
4838
- relation(a76, _, c9, _),
4839
- relation(a120, _, c14, _),
4840
- relation(a164, _, c4, _),
4841
- relation(a208, _, c9, _),
4842
- relation(a27, _, c0, _),
4843
- relation(a71, _, c5, _),
4844
- relation(a115, _, c10, _),
4845
- relation(a159, _, c0, _),
4846
- relation(a203, _, c5, _),
4847
- relation(a22, _, c11, _),
4848
- relation(a66, _, c1, _),
4849
- relation(a110, _, c6, _),
4850
- relation(a154, _, c11, _),
4851
- relation(a198, _, c1, _),
4852
- relation(a17, _, c7, _),
4853
- relation(a61, _, c12, _),
4854
- relation(a105, _, c2, _),
4855
- relation(a149, _, c7, _),
4856
- relation(a193, _, c12, _),
4857
- relation(a12, _, c3, _),
4858
- relation(a56, _, c8, _),
4859
- relation(a100, _, c13, _),
4860
- relation(a144, _, c3, _),
4861
- relation(a188, _, c8, _),
4862
- relation(a7, _, c14, _),
4863
- relation(a51, _, c4, _),
4864
- relation(a95, _, c9, _),
4865
- relation(a139, _, c14, _),
4866
- relation(a183, _, c4, _),
4867
- relation(a2, _, c10, _),
4868
- relation(a46, _, c0, _),
4869
- relation(a90, _, c5, _),
4870
- relation(a134, _, c10, _),
4871
- relation(a178, _, c0, _),
4872
- relation(a222, _, c5, _),
4873
- relation(a41, _, c11, _),
4874
- relation(a85, _, c1, _),
4875
- relation(a129, _, c6, _),
4876
- relation(a173, _, c11, _),
4877
- relation(a217, _, c1, _),
4878
- relation(a36, _, c7, _),
4879
- relation(a80, _, c12, _),
4880
- relation(a124, _, c2, _),
4881
- relation(a168, _, c7, _),
4882
- relation(a212, _, c12, _),
4883
- relation(a31, _, c3, _),
4884
- relation(a75, _, c8, _),
4885
- relation(a119, _, c13, _),
4886
- relation(a163, _, c3, _),
4887
- relation(a207, _, c8, _),
4888
- relation(a26, _, c14, _),
4889
- relation(a70, _, c4, _),
4890
- relation(a114, _, c9, _),
4891
- relation(a158, _, c14, _),
4892
- relation(a202, _, c4, _),
4893
- relation(a21, _, c10, _),
4894
- relation(a65, _, c0, _),
4895
- relation(a109, _, c5, _),
4896
- relation(a153, _, c10, _),
4897
- relation(a197, _, c0, _),
4898
- relation(a16, _, c6, _),
4899
- relation(a60, _, c11, _),
4900
- relation(a104, _, c1, _),
4901
- relation(a148, _, c6, _),
4902
- relation(a192, _, c11, _),
4903
- relation(a11, _, c2, _),
4904
- relation(a55, _, c7, _),
4905
- relation(a99, _, c12, _),
4906
- relation(a143, _, c2, _),
4907
- relation(a187, _, c7, _),
4908
- relation(a6, _, c13, _),
4909
- relation(a50, _, c3, _),
4910
- relation(a94, _, c8, _),
4911
- relation(a138, _, c13, _),
4912
- relation(a182, _, c3, _),
4913
- relation(a1, _, c9, _),
4914
- relation(a45, _, c14, _),
4915
- relation(a89, _, c4, _),
4916
- relation(a133, _, c9, _),
4917
- relation(a177, _, c14, _),
4918
- relation(a221, _, c4, _),
4919
- relation(a40, _, c10, _),
4920
- relation(a84, _, c0, _),
4921
- relation(a128, _, c5, _),
4922
- relation(a172, _, c10, _),
4923
- relation(a216, _, c0, _),
4924
- relation(a35, _, c6, _),
4925
- relation(a79, _, c11, _),
4926
- relation(a123, _, c1, _),
4927
- relation(a167, _, c6, _),
4928
- relation(a211, _, c11, _),
4929
- relation(a30, _, c2, _),
4930
- relation(a74, _, c7, _),
4931
- relation(a118, _, c12, _),
4932
- relation(a162, _, c2, _),
4933
- relation(a206, _, c7, _),
4934
- relation(a25, _, c13, _),
4935
- relation(a69, _, c3, _),
4936
- relation(a113, _, c8, _),
4937
- relation(a157, _, c13, _),
4938
- relation(a201, _, c3, _),
4939
- relation(a20, _, c9, _),
4940
- relation(a64, _, c14, _),
4941
- relation(a108, _, c4, _),
4942
- relation(a152, _, c9, _),
4943
- relation(a196, _, c14, _),
4944
- relation(a15, _, c5, _),
4945
- relation(a59, _, c10, _),
4946
- relation(a103, _, c0, _),
4947
- relation(a147, _, c5, _),
4948
- relation(a191, _, c10, _),
4949
- relation(a10, _, c1, _),
4950
- relation(a54, _, c6, _),
4951
- relation(a98, _, c11, _),
4952
- relation(a142, _, c1, _),
4953
- relation(a186, _, c6, _),
4954
- relation(a5, _, c12, _),
4955
- relation(a49, _, c2, _),
4956
- relation(a93, _, c7, _),
4957
- relation(a137, _, c12, _),
4958
- relation(a181, _, c2, _),
4959
- relation(a0, _, c8, _),
4960
- relation(a44, _, c13, _),
4961
- relation(a88, _, c3, _),
4962
- relation(a132, _, c8, _),
4963
- relation(a176, _, c13, _),
4964
- relation(a220, _, c3, _),
4965
- relation(a39, _, c9, _),
4966
- relation(a83, _, c14, _),
4967
- relation(a127, _, c4, _),
4968
- relation(a171, _, c9, _),
4969
- relation(a215, _, c14, _),
4970
- relation(a34, _, c5, _),
4971
- relation(a78, _, c10, _),
4972
- relation(a122, _, c0, _),
4973
- relation(a166, _, c5, _),
4974
- relation(a210, _, c10, _),
4975
- relation(a29, _, c1, _),
4976
- relation(a73, _, c6, _),
4977
- relation(a117, _, c11, _),
4978
- relation(a161, _, c1, _),
4979
- relation(a205, _, c6, _),
4980
- relation(a24, _, c12, _),
4981
- relation(a68, _, c2, _),
4982
- relation(a112, _, c7, _),
4983
- relation(a156, _, c12, _),
4984
- relation(a200, _, c2, _),
4985
- relation(a19, _, c8, _),
4986
- relation(a63, _, c13, _),
4987
- relation(a107, _, c3, _),
4988
- relation(a151, _, c8, _),
4989
- relation(a195, _, c13, _),
4990
- relation(a14, _, c4, _),
4991
- relation(a58, _, c9, _),
4992
- relation(a102, _, c14, _),
4993
- relation(a146, _, c4, _),
4994
- relation(a190, _, c9, _),
4995
- relation(a9, _, c0, _),
4996
- relation(a53, _, c5, _),
4997
- relation(a97, _, c10, _),
4998
- relation(a141, _, c0, _),
4999
- relation(a185, _, c5, _),
5000
- relation(a4, _, c11, _),
5001
- relation(a48, _, c1, _),
5002
- relation(a92, _, c6, _),
5003
- relation(a136, _, c11, _),
5004
- relation(a180, _, c1, _),
5005
- relation(a224, _, c6, _),
5006
- relation(a43, _, c12, _),
5007
- relation(a87, _, c2, _),
5008
- relation(a131, _, c7, _),
5009
- relation(a175, _, c12, _),
5010
- relation(a219, _, c2, _),
5011
- relation(a38, _, c8, _),
5012
- relation(a82, _, c13, _),
5013
- relation(a126, _, c3, _),
5014
- relation(a170, _, c8, _),
5015
- relation(a214, _, c13, _),
5016
- relation(a33, _, c4, _),
5017
- relation(a77, _, c9, _),
5018
- relation(a121, _, c14, _),
5019
- relation(a165, _, c4, _),
5020
- relation(a209, _, c9, _),
5021
- relation(a28, _, c0, _),
5022
- relation(a72, _, c5, _),
5023
- relation(a116, _, c10, _),
5024
- relation(a160, _, c0, _),
5025
- relation(a204, _, c5, _),
5026
- relation(a23, _, c11, _),
5027
- relation(a67, _, c1, _),
5028
- relation(a111, _, c6, _),
5029
- relation(a155, _, c11, _),
5030
- relation(a199, _, c1, _),
5031
- relation(a18, _, c7, _),
5032
- relation(a62, _, c12, _),
5033
- relation(a106, _, c2, _),
5034
- relation(a150, _, c7, _),
5035
- relation(a194, _, c12, _),
5036
- relation(a13, _, c3, _),
5037
- relation(a57, _, c8, _),
5038
- relation(a101, _, c13, _),
5039
- relation(a145, _, c3, _),
5040
- relation(a189, _, c8, _),
5041
- relation(a8, _, c14, _),
5042
- relation(a52, _, c4, _),
5043
- relation(a96, _, c9, _),
5044
- relation(a140, _, c14, _),
5045
- relation(a184, _, c4, _),
5046
- relation(a3, _, c10, _),
5047
- relation(a47, _, c0, _),
5048
- relation(a91, _, c5, _),
5049
- relation(a135, _, c10, _),
5050
- relation(a179, _, c0, _),
5051
- relation(a223, _, c5, _),
5052
- relation(a42, _, c11, _),
5053
- relation(a86, _, c1, _),
5054
- relation(a130, _, c6, _),
5055
- relation(a174, _, c11, _),
5056
- relation(a218, _, c1, _),
5057
- relation(a37, _, c7, _),
5058
- relation(a81, _, c12, _),
5059
- relation(a125, _, c2, _),
5060
- relation(a169, _, c7, _),
5061
- relation(a213, _, c12, _),
5062
- relation(a32, _, c3, _),
5063
- relation(a76, _, c8, _),
5064
- relation(a120, _, c13, _),
5065
- relation(a164, _, c3, _),
5066
- relation(a208, _, c8, _),
5067
- relation(a27, _, c14, _),
5068
- relation(a71, _, c4, _),
5069
- relation(a115, _, c9, _),
5070
- relation(a159, _, c14, _),
5071
- relation(a203, _, c4, _),
5072
- relation(a22, _, c10, _),
5073
- relation(a66, _, c0, _),
5074
- relation(a110, _, c5, _),
5075
- relation(a154, _, c10, _),
5076
- relation(a198, _, c0, _),
5077
- relation(a17, _, c6, _),
5078
- relation(a61, _, c11, _),
5079
- relation(a105, _, c1, _),
5080
- relation(a149, _, c6, _),
5081
- relation(a193, _, c11, _),
5082
- relation(a12, _, c2, _),
5083
- relation(a56, _, c7, _),
5084
- relation(a100, _, c12, _),
5085
- relation(a144, _, c2, _),
5086
- relation(a188, _, c7, _),
5087
- relation(a7, _, c13, _),
5088
- relation(a51, _, c3, _),
5089
- relation(a95, _, c8, _),
5090
- relation(a139, _, c13, _),
5091
- relation(a183, _, c3, _),
5092
- relation(a2, _, c9, _),
5093
- relation(a46, _, c14, _),
5094
- relation(a90, _, c4, _),
5095
- relation(a134, _, c9, _),
5096
- relation(a178, _, c14, _),
5097
- relation(a222, _, c4, _),
5098
- relation(a41, _, c10, _),
5099
- relation(a85, _, c0, _),
5100
- relation(a129, _, c5, _),
5101
- relation(a173, _, c10, _),
5102
- relation(a217, _, c0, _),
5103
- relation(a36, _, c6, _),
5104
- relation(a80, _, c11, _),
5105
- relation(a124, _, c1, _),
5106
- relation(a168, _, c6, _),
5107
- relation(a212, _, c11, _),
5108
- relation(a31, _, c2, _),
5109
- relation(a75, _, c7, _),
5110
- relation(a119, _, c12, _),
5111
- relation(a163, _, c2, _),
5112
- relation(a207, _, c7, _),
5113
- relation(a26, _, c13, _),
5114
- relation(a70, _, c3, _),
5115
- relation(a114, _, c8, _),
5116
- relation(a158, _, c13, _),
5117
- relation(a202, _, c3, _),
5118
- relation(a21, _, c9, _),
5119
- relation(a65, _, c14, _),
5120
- relation(a109, _, c4, _),
5121
- relation(a153, _, c9, _),
5122
- relation(a197, _, c14, _),
5123
- relation(a16, _, c5, _),
5124
- relation(a60, _, c10, _),
5125
- relation(a104, _, c0, _),
5126
- relation(a148, _, c5, _),
5127
- relation(a192, _, c10, _),
5128
- relation(a11, _, c1, _),
5129
- relation(a55, _, c6, _),
5130
- relation(a99, _, c11, _),
5131
- relation(a143, _, c1, _),
5132
- relation(a187, _, c6, _),
5133
- relation(a6, _, c12, _),
5134
- relation(a50, _, c2, _),
5135
- relation(a94, _, c7, _),
5136
- relation(a138, _, c12, _),
5137
- relation(a182, _, c2, _),
5138
- relation(a1, _, c8, _),
5139
- relation(a45, _, c13, _),
5140
- relation(a89, _, c3, _),
5141
- relation(a133, _, c8, _),
5142
- relation(a177, _, c13, _),
5143
- relation(a221, _, c3, _),
5144
- relation(a40, _, c9, _),
5145
- relation(a84, _, c14, _),
5146
- relation(a128, _, c4, _),
5147
- relation(a172, _, c9, _),
5148
- relation(a216, _, c14, _),
5149
- relation(a35, _, c5, _),
5150
- relation(a79, _, c10, _),
5151
- relation(a123, _, c0, _),
5152
- relation(a167, _, c5, _),
5153
- relation(a211, _, c10, _),
5154
- relation(a30, _, c1, _),
5155
- relation(a74, _, c6, _),
5156
- relation(a118, _, c11, _),
5157
- relation(a162, _, c1, _),
5158
- relation(a206, _, c6, _),
5159
- relation(a25, _, c12, _),
5160
- relation(a69, _, c2, _),
5161
- relation(a113, _, c7, _),
5162
- relation(a157, _, c12, _),
5163
- relation(a201, _, c2, _),
5164
- relation(a20, _, c8, _),
5165
- relation(a64, _, c13, _),
5166
- relation(a108, _, c3, _),
5167
- relation(a152, _, c8, _),
5168
- relation(a196, _, c13, _),
5169
- relation(a15, _, c4, _),
5170
- relation(a59, _, c9, _),
5171
- relation(a103, _, c14, _),
5172
- relation(a147, _, c4, _),
5173
- relation(a191, _, c9, _),
5174
- relation(a10, _, c0, _),
5175
- relation(a54, _, c5, _),
5176
- relation(a98, _, c10, _),
5177
- relation(a142, _, c0, _),
5178
- relation(a186, _, c5, _),
5179
- relation(a5, _, c11, _),
5180
- relation(a49, _, c1, _),
5181
- relation(a93, _, c6, _),
5182
- relation(a137, _, c11, _),
5183
- relation(a181, _, c1, _),
5184
- relation(a0, _, c7, _),
5185
- relation(a44, _, c12, _),
5186
- relation(a88, _, c2, _),
5187
- relation(a132, _, c7, _),
5188
- relation(a176, _, c12, _),
5189
- relation(a220, _, c2, _),
5190
- relation(a39, _, c8, _),
5191
- relation(a83, _, c13, _),
5192
- relation(a127, _, c3, _),
5193
- relation(a171, _, c8, _),
5194
- relation(a215, _, c13, _),
5195
- relation(a34, _, c4, _),
5196
- relation(a78, _, c9, _),
5197
- relation(a122, _, c14, _),
5198
- relation(a166, _, c4, _),
5199
- relation(a210, _, c9, _),
5200
- relation(a29, _, c0, _),
5201
- relation(a73, _, c5, _),
5202
- relation(a117, _, c10, _),
5203
- relation(a161, _, c0, _),
5204
- relation(a205, _, c5, _),
5205
- relation(a24, _, c11, _),
5206
- relation(a68, _, c1, _),
5207
- relation(a112, _, c6, _),
5208
- relation(a156, _, c11, _),
5209
- relation(a200, _, c1, _),
5210
- relation(a19, _, c7, _),
5211
- relation(a63, _, c12, _),
5212
- relation(a107, _, c2, _),
5213
- relation(a151, _, c7, _),
5214
- relation(a195, _, c12, _),
5215
- relation(a14, _, c3, _),
5216
- relation(a58, _, c8, _),
5217
- relation(a102, _, c13, _),
5218
- relation(a146, _, c3, _),
5219
- relation(a190, _, c8, _),
5220
- relation(a9, _, c14, _),
5221
- relation(a53, _, c4, _),
5222
- relation(a97, _, c9, _),
5223
- relation(a141, _, c14, _),
5224
- relation(a185, _, c4, _),
5225
- relation(a4, _, c10, _),
5226
- relation(a48, _, c0, _),
5227
- relation(a92, _, c5, _),
5228
- relation(a136, _, c10, _),
5229
- relation(a180, _, c0, _),
5230
- relation(a224, _, c5, _),
5231
- relation(a43, _, c11, _),
5232
- relation(a87, _, c1, _),
5233
- relation(a131, _, c6, _),
5234
- relation(a175, _, c11, _),
5235
- relation(a219, _, c1, _),
5236
- relation(a38, _, c7, _),
5237
- relation(a82, _, c12, _),
5238
- relation(a126, _, c2, _),
5239
- relation(a170, _, c7, _),
5240
- relation(a214, _, c12, _),
5241
- relation(a33, _, c3, _),
5242
- relation(a77, _, c8, _),
5243
- relation(a121, _, c13, _),
5244
- relation(a165, _, c3, _),
5245
- relation(a209, _, c8, _),
5246
- relation(a28, _, c14, _),
5247
- relation(a72, _, c4, _),
5248
- relation(a116, _, c9, _),
5249
- relation(a160, _, c14, _),
5250
- relation(a204, _, c4, _),
5251
- relation(a23, _, c10, _),
5252
- relation(a67, _, c0, _),
5253
- relation(a111, _, c5, _),
5254
- relation(a155, _, c10, _),
5255
- relation(a199, _, c0, _),
5256
- relation(a18, _, c6, _),
5257
- relation(a62, _, c11, _),
5258
- relation(a106, _, c1, _),
5259
- relation(a150, _, c6, _),
5260
- relation(a194, _, c11, _),
5261
- relation(a13, _, c2, _),
5262
- relation(a57, _, c7, _),
5263
- relation(a101, _, c12, _),
5264
- relation(a145, _, c2, _),
5265
- relation(a189, _, c7, _),
5266
- relation(a8, _, c13, _),
5267
- relation(a52, _, c3, _),
5268
- relation(a96, _, c8, _),
5269
- relation(a140, _, c13, _),
5270
- relation(a184, _, c3, _),
5271
- relation(a3, _, c9, _),
5272
- relation(a47, _, c14, _),
5273
- relation(a91, _, c4, _),
5274
- relation(a135, _, c9, _),
5275
- relation(a179, _, c14, _),
5276
- relation(a223, _, c4, _),
5277
- relation(a42, _, c10, _),
5278
- relation(a86, _, c0, _),
5279
- relation(a130, _, c5, _),
5280
- relation(a174, _, c10, _),
5281
- relation(a218, _, c0, _),
5282
- relation(a37, _, c6, _),
5283
- relation(a81, _, c11, _),
5284
- relation(a125, _, c1, _),
5285
- relation(a169, _, c6, _),
5286
- relation(a213, _, c11, _),
5287
- relation(a32, _, c2, _),
5288
- relation(a76, _, c7, _),
5289
- relation(a120, _, c12, _),
5290
- relation(a164, _, c2, _),
5291
- relation(a208, _, c7, _),
5292
- relation(a27, _, c13, _),
5293
- relation(a71, _, c3, _),
5294
- relation(a115, _, c8, _),
5295
- relation(a159, _, c13, _),
5296
- relation(a203, _, c3, _),
5297
- relation(a22, _, c9, _),
5298
- relation(a66, _, c14, _),
5299
- relation(a110, _, c4, _),
5300
- relation(a154, _, c9, _),
5301
- relation(a198, _, c14, _),
5302
- relation(a17, _, c5, _),
5303
- relation(a61, _, c10, _),
5304
- relation(a105, _, c0, _),
5305
- relation(a149, _, c5, _),
5306
- relation(a193, _, c10, _),
5307
- relation(a12, _, c1, _),
5308
- relation(a56, _, c6, _),
5309
- relation(a100, _, c11, _),
5310
- relation(a144, _, c1, _),
5311
- relation(a188, _, c6, _),
5312
- relation(a7, _, c12, _),
5313
- relation(a51, _, c2, _),
5314
- relation(a95, _, c7, _),
5315
- relation(a139, _, c12, _),
5316
- relation(a183, _, c2, _),
5317
- relation(a2, _, c8, _),
5318
- relation(a46, _, c13, _),
5319
- relation(a90, _, c3, _),
5320
- relation(a134, _, c8, _),
5321
- relation(a178, _, c13, _),
5322
- relation(a222, _, c3, _),
5323
- relation(a41, _, c9, _),
5324
- relation(a85, _, c14, _),
5325
- relation(a129, _, c4, _),
5326
- relation(a173, _, c9, _),
5327
- relation(a217, _, c14, _),
5328
- relation(a36, _, c5, _),
5329
- relation(a80, _, c10, _),
5330
- relation(a124, _, c0, _),
5331
- relation(a168, _, c5, _),
5332
- relation(a212, _, c10, _),
5333
- relation(a31, _, c1, _),
5334
- relation(a75, _, c6, _),
5335
- relation(a119, _, c11, _),
5336
- relation(a163, _, c1, _),
5337
- relation(a207, _, c6, _),
5338
- relation(a26, _, c12, _),
5339
- relation(a70, _, c2, _),
5340
- relation(a114, _, c7, _),
5341
- relation(a158, _, c12, _),
5342
- relation(a202, _, c2, _),
5343
- relation(a21, _, c8, _),
5344
- relation(a65, _, c13, _),
5345
- relation(a109, _, c3, _),
5346
- relation(a153, _, c8, _),
5347
- relation(a197, _, c13, _),
5348
- relation(a16, _, c4, _),
5349
- relation(a60, _, c9, _),
5350
- relation(a104, _, c14, _),
5351
- relation(a148, _, c4, _),
5352
- relation(a192, _, c9, _),
5353
- relation(a11, _, c0, _),
5354
- relation(a55, _, c5, _),
5355
- relation(a99, _, c10, _),
5356
- relation(a143, _, c0, _),
5357
- relation(a187, _, c5, _),
5358
- relation(a6, _, c11, _),
5359
- relation(a50, _, c1, _),
5360
- relation(a94, _, c6, _),
5361
- relation(a138, _, c11, _),
5362
- relation(a182, _, c1, _),
5363
- relation(a1, _, c7, _),
5364
- relation(a45, _, c12, _),
5365
- relation(a89, _, c2, _),
5366
- relation(a133, _, c7, _),
5367
- relation(a177, _, c12, _),
5368
- relation(a221, _, c2, _),
5369
- relation(a40, _, c8, _),
5370
- relation(a84, _, c13, _),
5371
- relation(a128, _, c3, _),
5372
- relation(a172, _, c8, _),
5373
- relation(a216, _, c13, _),
5374
- relation(a35, _, c4, _),
5375
- relation(a79, _, c9, _),
5376
- relation(a123, _, c14, _),
5377
- relation(a167, _, c4, _),
5378
- relation(a211, _, c9, _),
5379
- relation(a30, _, c0, _),
5380
- relation(a74, _, c5, _),
5381
- relation(a118, _, c10, _),
5382
- relation(a162, _, c0, _),
5383
- relation(a206, _, c5, _).
3386
+ relation_exists(a0, c0),
3387
+ relation_exists(a44, c5),
3388
+ relation_exists(a88, c10),
3389
+ relation_exists(a132, c0),
3390
+ relation_exists(a176, c5),
3391
+ relation_exists(a220, c10),
3392
+ relation_exists(a39, c1),
3393
+ relation_exists(a83, c6),
3394
+ relation_exists(a127, c11),
3395
+ relation_exists(a171, c1),
3396
+ relation_exists(a215, c6),
3397
+ relation_exists(a34, c12),
3398
+ relation_exists(a78, c2),
3399
+ relation_exists(a122, c7),
3400
+ relation_exists(a166, c12),
3401
+ relation_exists(a210, c2),
3402
+ relation_exists(a29, c8),
3403
+ relation_exists(a73, c13),
3404
+ relation_exists(a117, c3),
3405
+ relation_exists(a161, c8),
3406
+ relation_exists(a205, c13),
3407
+ relation_exists(a24, c4),
3408
+ relation_exists(a68, c9),
3409
+ relation_exists(a112, c14),
3410
+ relation_exists(a156, c4),
3411
+ relation_exists(a200, c9),
3412
+ relation_exists(a19, c0),
3413
+ relation_exists(a63, c5),
3414
+ relation_exists(a107, c10),
3415
+ relation_exists(a151, c0),
3416
+ relation_exists(a195, c5),
3417
+ relation_exists(a14, c11),
3418
+ relation_exists(a58, c1),
3419
+ relation_exists(a102, c6),
3420
+ relation_exists(a146, c11),
3421
+ relation_exists(a190, c1),
3422
+ relation_exists(a9, c7),
3423
+ relation_exists(a53, c12),
3424
+ relation_exists(a97, c2),
3425
+ relation_exists(a141, c7),
3426
+ relation_exists(a185, c12),
3427
+ relation_exists(a4, c3),
3428
+ relation_exists(a48, c8),
3429
+ relation_exists(a92, c13),
3430
+ relation_exists(a136, c3),
3431
+ relation_exists(a180, c8),
3432
+ relation_exists(a224, c13),
3433
+ relation_exists(a43, c4),
3434
+ relation_exists(a87, c9),
3435
+ relation_exists(a131, c14),
3436
+ relation_exists(a175, c4),
3437
+ relation_exists(a219, c9),
3438
+ relation_exists(a38, c0),
3439
+ relation_exists(a82, c5),
3440
+ relation_exists(a126, c10),
3441
+ relation_exists(a170, c0),
3442
+ relation_exists(a214, c5),
3443
+ relation_exists(a33, c11),
3444
+ relation_exists(a77, c1),
3445
+ relation_exists(a121, c6),
3446
+ relation_exists(a165, c11),
3447
+ relation_exists(a209, c1),
3448
+ relation_exists(a28, c7),
3449
+ relation_exists(a72, c12),
3450
+ relation_exists(a116, c2),
3451
+ relation_exists(a160, c7),
3452
+ relation_exists(a204, c12),
3453
+ relation_exists(a23, c3),
3454
+ relation_exists(a67, c8),
3455
+ relation_exists(a111, c13),
3456
+ relation_exists(a155, c3),
3457
+ relation_exists(a199, c8),
3458
+ relation_exists(a18, c14),
3459
+ relation_exists(a62, c4),
3460
+ relation_exists(a106, c9),
3461
+ relation_exists(a150, c14),
3462
+ relation_exists(a194, c4),
3463
+ relation_exists(a13, c10),
3464
+ relation_exists(a57, c0),
3465
+ relation_exists(a101, c5),
3466
+ relation_exists(a145, c10),
3467
+ relation_exists(a189, c0),
3468
+ relation_exists(a8, c6),
3469
+ relation_exists(a52, c11),
3470
+ relation_exists(a96, c1),
3471
+ relation_exists(a140, c6),
3472
+ relation_exists(a184, c11),
3473
+ relation_exists(a3, c2),
3474
+ relation_exists(a47, c7),
3475
+ relation_exists(a91, c12),
3476
+ relation_exists(a135, c2),
3477
+ relation_exists(a179, c7),
3478
+ relation_exists(a223, c12),
3479
+ relation_exists(a42, c3),
3480
+ relation_exists(a86, c8),
3481
+ relation_exists(a130, c13),
3482
+ relation_exists(a174, c3),
3483
+ relation_exists(a218, c8),
3484
+ relation_exists(a37, c14),
3485
+ relation_exists(a81, c4),
3486
+ relation_exists(a125, c9),
3487
+ relation_exists(a169, c14),
3488
+ relation_exists(a213, c4),
3489
+ relation_exists(a32, c10),
3490
+ relation_exists(a76, c0),
3491
+ relation_exists(a120, c5),
3492
+ relation_exists(a164, c10),
3493
+ relation_exists(a208, c0),
3494
+ relation_exists(a27, c6),
3495
+ relation_exists(a71, c11),
3496
+ relation_exists(a115, c1),
3497
+ relation_exists(a159, c6),
3498
+ relation_exists(a203, c11),
3499
+ relation_exists(a22, c2),
3500
+ relation_exists(a66, c7),
3501
+ relation_exists(a110, c12),
3502
+ relation_exists(a154, c2),
3503
+ relation_exists(a198, c7),
3504
+ relation_exists(a17, c13),
3505
+ relation_exists(a61, c3),
3506
+ relation_exists(a105, c8),
3507
+ relation_exists(a149, c13),
3508
+ relation_exists(a193, c3),
3509
+ relation_exists(a12, c9),
3510
+ relation_exists(a56, c14),
3511
+ relation_exists(a100, c4),
3512
+ relation_exists(a144, c9),
3513
+ relation_exists(a188, c14),
3514
+ relation_exists(a7, c5),
3515
+ relation_exists(a51, c10),
3516
+ relation_exists(a95, c0),
3517
+ relation_exists(a139, c5),
3518
+ relation_exists(a183, c10),
3519
+ relation_exists(a2, c1),
3520
+ relation_exists(a46, c6),
3521
+ relation_exists(a90, c11),
3522
+ relation_exists(a134, c1),
3523
+ relation_exists(a178, c6),
3524
+ relation_exists(a222, c11),
3525
+ relation_exists(a41, c2),
3526
+ relation_exists(a85, c7),
3527
+ relation_exists(a129, c12),
3528
+ relation_exists(a173, c2),
3529
+ relation_exists(a217, c7),
3530
+ relation_exists(a36, c13),
3531
+ relation_exists(a80, c3),
3532
+ relation_exists(a124, c8),
3533
+ relation_exists(a168, c13),
3534
+ relation_exists(a212, c3),
3535
+ relation_exists(a31, c9),
3536
+ relation_exists(a75, c14),
3537
+ relation_exists(a119, c4),
3538
+ relation_exists(a163, c9),
3539
+ relation_exists(a207, c14),
3540
+ relation_exists(a26, c5),
3541
+ relation_exists(a70, c10),
3542
+ relation_exists(a114, c0),
3543
+ relation_exists(a158, c5),
3544
+ relation_exists(a202, c10),
3545
+ relation_exists(a21, c1),
3546
+ relation_exists(a65, c6),
3547
+ relation_exists(a109, c11),
3548
+ relation_exists(a153, c1),
3549
+ relation_exists(a197, c6),
3550
+ relation_exists(a16, c12),
3551
+ relation_exists(a60, c2),
3552
+ relation_exists(a104, c7),
3553
+ relation_exists(a148, c12),
3554
+ relation_exists(a192, c2),
3555
+ relation_exists(a11, c8),
3556
+ relation_exists(a55, c13),
3557
+ relation_exists(a99, c3),
3558
+ relation_exists(a143, c8),
3559
+ relation_exists(a187, c13),
3560
+ relation_exists(a6, c4),
3561
+ relation_exists(a50, c9),
3562
+ relation_exists(a94, c14),
3563
+ relation_exists(a138, c4),
3564
+ relation_exists(a182, c9),
3565
+ relation_exists(a1, c0),
3566
+ relation_exists(a45, c5),
3567
+ relation_exists(a89, c10),
3568
+ relation_exists(a133, c0),
3569
+ relation_exists(a177, c5),
3570
+ relation_exists(a221, c10),
3571
+ relation_exists(a40, c1),
3572
+ relation_exists(a84, c6),
3573
+ relation_exists(a128, c11),
3574
+ relation_exists(a172, c1),
3575
+ relation_exists(a216, c6),
3576
+ relation_exists(a35, c12),
3577
+ relation_exists(a79, c2),
3578
+ relation_exists(a123, c7),
3579
+ relation_exists(a167, c12),
3580
+ relation_exists(a211, c2),
3581
+ relation_exists(a30, c8),
3582
+ relation_exists(a74, c13),
3583
+ relation_exists(a118, c3),
3584
+ relation_exists(a162, c8),
3585
+ relation_exists(a206, c13),
3586
+ relation_exists(a25, c4),
3587
+ relation_exists(a69, c9),
3588
+ relation_exists(a113, c14),
3589
+ relation_exists(a157, c4),
3590
+ relation_exists(a201, c9),
3591
+ relation_exists(a20, c0),
3592
+ relation_exists(a64, c5),
3593
+ relation_exists(a108, c10),
3594
+ relation_exists(a152, c0),
3595
+ relation_exists(a196, c5),
3596
+ relation_exists(a15, c11),
3597
+ relation_exists(a59, c1),
3598
+ relation_exists(a103, c6),
3599
+ relation_exists(a147, c11),
3600
+ relation_exists(a191, c1),
3601
+ relation_exists(a10, c7),
3602
+ relation_exists(a54, c12),
3603
+ relation_exists(a98, c2),
3604
+ relation_exists(a142, c7),
3605
+ relation_exists(a186, c12),
3606
+ relation_exists(a5, c3),
3607
+ relation_exists(a49, c8),
3608
+ relation_exists(a93, c13),
3609
+ relation_exists(a137, c3),
3610
+ relation_exists(a181, c8),
3611
+ relation_exists(a0, c14),
3612
+ relation_exists(a44, c4),
3613
+ relation_exists(a88, c9),
3614
+ relation_exists(a132, c14),
3615
+ relation_exists(a176, c4),
3616
+ relation_exists(a220, c9),
3617
+ relation_exists(a39, c0),
3618
+ relation_exists(a83, c5),
3619
+ relation_exists(a127, c10),
3620
+ relation_exists(a171, c0),
3621
+ relation_exists(a215, c5),
3622
+ relation_exists(a34, c11),
3623
+ relation_exists(a78, c1),
3624
+ relation_exists(a122, c6),
3625
+ relation_exists(a166, c11),
3626
+ relation_exists(a210, c1),
3627
+ relation_exists(a29, c7),
3628
+ relation_exists(a73, c12),
3629
+ relation_exists(a117, c2),
3630
+ relation_exists(a161, c7),
3631
+ relation_exists(a205, c12),
3632
+ relation_exists(a24, c3),
3633
+ relation_exists(a68, c8),
3634
+ relation_exists(a112, c13),
3635
+ relation_exists(a156, c3),
3636
+ relation_exists(a200, c8),
3637
+ relation_exists(a19, c14),
3638
+ relation_exists(a63, c4),
3639
+ relation_exists(a107, c9),
3640
+ relation_exists(a151, c14),
3641
+ relation_exists(a195, c4),
3642
+ relation_exists(a14, c10),
3643
+ relation_exists(a58, c0),
3644
+ relation_exists(a102, c5),
3645
+ relation_exists(a146, c10),
3646
+ relation_exists(a190, c0),
3647
+ relation_exists(a9, c6),
3648
+ relation_exists(a53, c11),
3649
+ relation_exists(a97, c1),
3650
+ relation_exists(a141, c6),
3651
+ relation_exists(a185, c11),
3652
+ relation_exists(a4, c2),
3653
+ relation_exists(a48, c7),
3654
+ relation_exists(a92, c12),
3655
+ relation_exists(a136, c2),
3656
+ relation_exists(a180, c7),
3657
+ relation_exists(a224, c12),
3658
+ relation_exists(a43, c3),
3659
+ relation_exists(a87, c8),
3660
+ relation_exists(a131, c13),
3661
+ relation_exists(a175, c3),
3662
+ relation_exists(a219, c8),
3663
+ relation_exists(a38, c14),
3664
+ relation_exists(a82, c4),
3665
+ relation_exists(a126, c9),
3666
+ relation_exists(a170, c14),
3667
+ relation_exists(a214, c4),
3668
+ relation_exists(a33, c10),
3669
+ relation_exists(a77, c0),
3670
+ relation_exists(a121, c5),
3671
+ relation_exists(a165, c10),
3672
+ relation_exists(a209, c0),
3673
+ relation_exists(a28, c6),
3674
+ relation_exists(a72, c11),
3675
+ relation_exists(a116, c1),
3676
+ relation_exists(a160, c6),
3677
+ relation_exists(a204, c11),
3678
+ relation_exists(a23, c2),
3679
+ relation_exists(a67, c7),
3680
+ relation_exists(a111, c12),
3681
+ relation_exists(a155, c2),
3682
+ relation_exists(a199, c7),
3683
+ relation_exists(a18, c13),
3684
+ relation_exists(a62, c3),
3685
+ relation_exists(a106, c8),
3686
+ relation_exists(a150, c13),
3687
+ relation_exists(a194, c3),
3688
+ relation_exists(a13, c9),
3689
+ relation_exists(a57, c14),
3690
+ relation_exists(a101, c4),
3691
+ relation_exists(a145, c9),
3692
+ relation_exists(a189, c14),
3693
+ relation_exists(a8, c5),
3694
+ relation_exists(a52, c10),
3695
+ relation_exists(a96, c0),
3696
+ relation_exists(a140, c5),
3697
+ relation_exists(a184, c10),
3698
+ relation_exists(a3, c1),
3699
+ relation_exists(a47, c6),
3700
+ relation_exists(a91, c11),
3701
+ relation_exists(a135, c1),
3702
+ relation_exists(a179, c6),
3703
+ relation_exists(a223, c11),
3704
+ relation_exists(a42, c2),
3705
+ relation_exists(a86, c7),
3706
+ relation_exists(a130, c12),
3707
+ relation_exists(a174, c2),
3708
+ relation_exists(a218, c7),
3709
+ relation_exists(a37, c13),
3710
+ relation_exists(a81, c3),
3711
+ relation_exists(a125, c8),
3712
+ relation_exists(a169, c13),
3713
+ relation_exists(a213, c3),
3714
+ relation_exists(a32, c9),
3715
+ relation_exists(a76, c14),
3716
+ relation_exists(a120, c4),
3717
+ relation_exists(a164, c9),
3718
+ relation_exists(a208, c14),
3719
+ relation_exists(a27, c5),
3720
+ relation_exists(a71, c10),
3721
+ relation_exists(a115, c0),
3722
+ relation_exists(a159, c5),
3723
+ relation_exists(a203, c10),
3724
+ relation_exists(a22, c1),
3725
+ relation_exists(a66, c6),
3726
+ relation_exists(a110, c11),
3727
+ relation_exists(a154, c1),
3728
+ relation_exists(a198, c6),
3729
+ relation_exists(a17, c12),
3730
+ relation_exists(a61, c2),
3731
+ relation_exists(a105, c7),
3732
+ relation_exists(a149, c12),
3733
+ relation_exists(a193, c2),
3734
+ relation_exists(a12, c8),
3735
+ relation_exists(a56, c13),
3736
+ relation_exists(a100, c3),
3737
+ relation_exists(a144, c8),
3738
+ relation_exists(a188, c13),
3739
+ relation_exists(a7, c4),
3740
+ relation_exists(a51, c9),
3741
+ relation_exists(a95, c14),
3742
+ relation_exists(a139, c4),
3743
+ relation_exists(a183, c9),
3744
+ relation_exists(a2, c0),
3745
+ relation_exists(a46, c5),
3746
+ relation_exists(a90, c10),
3747
+ relation_exists(a134, c0),
3748
+ relation_exists(a178, c5),
3749
+ relation_exists(a222, c10),
3750
+ relation_exists(a41, c1),
3751
+ relation_exists(a85, c6),
3752
+ relation_exists(a129, c11),
3753
+ relation_exists(a173, c1),
3754
+ relation_exists(a217, c6),
3755
+ relation_exists(a36, c12),
3756
+ relation_exists(a80, c2),
3757
+ relation_exists(a124, c7),
3758
+ relation_exists(a168, c12),
3759
+ relation_exists(a212, c2),
3760
+ relation_exists(a31, c8),
3761
+ relation_exists(a75, c13),
3762
+ relation_exists(a119, c3),
3763
+ relation_exists(a163, c8),
3764
+ relation_exists(a207, c13),
3765
+ relation_exists(a26, c4),
3766
+ relation_exists(a70, c9),
3767
+ relation_exists(a114, c14),
3768
+ relation_exists(a158, c4),
3769
+ relation_exists(a202, c9),
3770
+ relation_exists(a21, c0),
3771
+ relation_exists(a65, c5),
3772
+ relation_exists(a109, c10),
3773
+ relation_exists(a153, c0),
3774
+ relation_exists(a197, c5),
3775
+ relation_exists(a16, c11),
3776
+ relation_exists(a60, c1),
3777
+ relation_exists(a104, c6),
3778
+ relation_exists(a148, c11),
3779
+ relation_exists(a192, c1),
3780
+ relation_exists(a11, c7),
3781
+ relation_exists(a55, c12),
3782
+ relation_exists(a99, c2),
3783
+ relation_exists(a143, c7),
3784
+ relation_exists(a187, c12),
3785
+ relation_exists(a6, c3),
3786
+ relation_exists(a50, c8),
3787
+ relation_exists(a94, c13),
3788
+ relation_exists(a138, c3),
3789
+ relation_exists(a182, c8),
3790
+ relation_exists(a1, c14),
3791
+ relation_exists(a45, c4),
3792
+ relation_exists(a89, c9),
3793
+ relation_exists(a133, c14),
3794
+ relation_exists(a177, c4),
3795
+ relation_exists(a221, c9),
3796
+ relation_exists(a40, c0),
3797
+ relation_exists(a84, c5),
3798
+ relation_exists(a128, c10),
3799
+ relation_exists(a172, c0),
3800
+ relation_exists(a216, c5),
3801
+ relation_exists(a35, c11),
3802
+ relation_exists(a79, c1),
3803
+ relation_exists(a123, c6),
3804
+ relation_exists(a167, c11),
3805
+ relation_exists(a211, c1),
3806
+ relation_exists(a30, c7),
3807
+ relation_exists(a74, c12),
3808
+ relation_exists(a118, c2),
3809
+ relation_exists(a162, c7),
3810
+ relation_exists(a206, c12),
3811
+ relation_exists(a25, c3),
3812
+ relation_exists(a69, c8),
3813
+ relation_exists(a113, c13),
3814
+ relation_exists(a157, c3),
3815
+ relation_exists(a201, c8),
3816
+ relation_exists(a20, c14),
3817
+ relation_exists(a64, c4),
3818
+ relation_exists(a108, c9),
3819
+ relation_exists(a152, c14),
3820
+ relation_exists(a196, c4),
3821
+ relation_exists(a15, c10),
3822
+ relation_exists(a59, c0),
3823
+ relation_exists(a103, c5),
3824
+ relation_exists(a147, c10),
3825
+ relation_exists(a191, c0),
3826
+ relation_exists(a10, c6),
3827
+ relation_exists(a54, c11),
3828
+ relation_exists(a98, c1),
3829
+ relation_exists(a142, c6),
3830
+ relation_exists(a186, c11),
3831
+ relation_exists(a5, c2),
3832
+ relation_exists(a49, c7),
3833
+ relation_exists(a93, c12),
3834
+ relation_exists(a137, c2),
3835
+ relation_exists(a181, c7),
3836
+ relation_exists(a0, c13),
3837
+ relation_exists(a44, c3),
3838
+ relation_exists(a88, c8),
3839
+ relation_exists(a132, c13),
3840
+ relation_exists(a176, c3),
3841
+ relation_exists(a220, c8),
3842
+ relation_exists(a39, c14),
3843
+ relation_exists(a83, c4),
3844
+ relation_exists(a127, c9),
3845
+ relation_exists(a171, c14),
3846
+ relation_exists(a215, c4),
3847
+ relation_exists(a34, c10),
3848
+ relation_exists(a78, c0),
3849
+ relation_exists(a122, c5),
3850
+ relation_exists(a166, c10),
3851
+ relation_exists(a210, c0),
3852
+ relation_exists(a29, c6),
3853
+ relation_exists(a73, c11),
3854
+ relation_exists(a117, c1),
3855
+ relation_exists(a161, c6),
3856
+ relation_exists(a205, c11),
3857
+ relation_exists(a24, c2),
3858
+ relation_exists(a68, c7),
3859
+ relation_exists(a112, c12),
3860
+ relation_exists(a156, c2),
3861
+ relation_exists(a200, c7),
3862
+ relation_exists(a19, c13),
3863
+ relation_exists(a63, c3),
3864
+ relation_exists(a107, c8),
3865
+ relation_exists(a151, c13),
3866
+ relation_exists(a195, c3),
3867
+ relation_exists(a14, c9),
3868
+ relation_exists(a58, c14),
3869
+ relation_exists(a102, c4),
3870
+ relation_exists(a146, c9),
3871
+ relation_exists(a190, c14),
3872
+ relation_exists(a9, c5),
3873
+ relation_exists(a53, c10),
3874
+ relation_exists(a97, c0),
3875
+ relation_exists(a141, c5),
3876
+ relation_exists(a185, c10),
3877
+ relation_exists(a4, c1),
3878
+ relation_exists(a48, c6),
3879
+ relation_exists(a92, c11),
3880
+ relation_exists(a136, c1),
3881
+ relation_exists(a180, c6),
3882
+ relation_exists(a224, c11),
3883
+ relation_exists(a43, c2),
3884
+ relation_exists(a87, c7),
3885
+ relation_exists(a131, c12),
3886
+ relation_exists(a175, c2),
3887
+ relation_exists(a219, c7),
3888
+ relation_exists(a38, c13),
3889
+ relation_exists(a82, c3),
3890
+ relation_exists(a126, c8),
3891
+ relation_exists(a170, c13),
3892
+ relation_exists(a214, c3),
3893
+ relation_exists(a33, c9),
3894
+ relation_exists(a77, c14),
3895
+ relation_exists(a121, c4),
3896
+ relation_exists(a165, c9),
3897
+ relation_exists(a209, c14),
3898
+ relation_exists(a28, c5),
3899
+ relation_exists(a72, c10),
3900
+ relation_exists(a116, c0),
3901
+ relation_exists(a160, c5),
3902
+ relation_exists(a204, c10),
3903
+ relation_exists(a23, c1),
3904
+ relation_exists(a67, c6),
3905
+ relation_exists(a111, c11),
3906
+ relation_exists(a155, c1),
3907
+ relation_exists(a199, c6),
3908
+ relation_exists(a18, c12),
3909
+ relation_exists(a62, c2),
3910
+ relation_exists(a106, c7),
3911
+ relation_exists(a150, c12),
3912
+ relation_exists(a194, c2),
3913
+ relation_exists(a13, c8),
3914
+ relation_exists(a57, c13),
3915
+ relation_exists(a101, c3),
3916
+ relation_exists(a145, c8),
3917
+ relation_exists(a189, c13),
3918
+ relation_exists(a8, c4),
3919
+ relation_exists(a52, c9),
3920
+ relation_exists(a96, c14),
3921
+ relation_exists(a140, c4),
3922
+ relation_exists(a184, c9),
3923
+ relation_exists(a3, c0),
3924
+ relation_exists(a47, c5),
3925
+ relation_exists(a91, c10),
3926
+ relation_exists(a135, c0),
3927
+ relation_exists(a179, c5),
3928
+ relation_exists(a223, c10),
3929
+ relation_exists(a42, c1),
3930
+ relation_exists(a86, c6),
3931
+ relation_exists(a130, c11),
3932
+ relation_exists(a174, c1),
3933
+ relation_exists(a218, c6),
3934
+ relation_exists(a37, c12),
3935
+ relation_exists(a81, c2),
3936
+ relation_exists(a125, c7),
3937
+ relation_exists(a169, c12),
3938
+ relation_exists(a213, c2),
3939
+ relation_exists(a32, c8),
3940
+ relation_exists(a76, c13),
3941
+ relation_exists(a120, c3),
3942
+ relation_exists(a164, c8),
3943
+ relation_exists(a208, c13),
3944
+ relation_exists(a27, c4),
3945
+ relation_exists(a71, c9),
3946
+ relation_exists(a115, c14),
3947
+ relation_exists(a159, c4),
3948
+ relation_exists(a203, c9),
3949
+ relation_exists(a22, c0),
3950
+ relation_exists(a66, c5),
3951
+ relation_exists(a110, c10),
3952
+ relation_exists(a154, c0),
3953
+ relation_exists(a198, c5),
3954
+ relation_exists(a17, c11),
3955
+ relation_exists(a61, c1),
3956
+ relation_exists(a105, c6),
3957
+ relation_exists(a149, c11),
3958
+ relation_exists(a193, c1),
3959
+ relation_exists(a12, c7),
3960
+ relation_exists(a56, c12),
3961
+ relation_exists(a100, c2),
3962
+ relation_exists(a144, c7),
3963
+ relation_exists(a188, c12),
3964
+ relation_exists(a7, c3),
3965
+ relation_exists(a51, c8),
3966
+ relation_exists(a95, c13),
3967
+ relation_exists(a139, c3),
3968
+ relation_exists(a183, c8),
3969
+ relation_exists(a2, c14),
3970
+ relation_exists(a46, c4),
3971
+ relation_exists(a90, c9),
3972
+ relation_exists(a134, c14),
3973
+ relation_exists(a178, c4),
3974
+ relation_exists(a222, c9),
3975
+ relation_exists(a41, c0),
3976
+ relation_exists(a85, c5),
3977
+ relation_exists(a129, c10),
3978
+ relation_exists(a173, c0),
3979
+ relation_exists(a217, c5),
3980
+ relation_exists(a36, c11),
3981
+ relation_exists(a80, c1),
3982
+ relation_exists(a124, c6),
3983
+ relation_exists(a168, c11),
3984
+ relation_exists(a212, c1),
3985
+ relation_exists(a31, c7),
3986
+ relation_exists(a75, c12),
3987
+ relation_exists(a119, c2),
3988
+ relation_exists(a163, c7),
3989
+ relation_exists(a207, c12),
3990
+ relation_exists(a26, c3),
3991
+ relation_exists(a70, c8),
3992
+ relation_exists(a114, c13),
3993
+ relation_exists(a158, c3),
3994
+ relation_exists(a202, c8),
3995
+ relation_exists(a21, c14),
3996
+ relation_exists(a65, c4),
3997
+ relation_exists(a109, c9),
3998
+ relation_exists(a153, c14),
3999
+ relation_exists(a197, c4),
4000
+ relation_exists(a16, c10),
4001
+ relation_exists(a60, c0),
4002
+ relation_exists(a104, c5),
4003
+ relation_exists(a148, c10),
4004
+ relation_exists(a192, c0),
4005
+ relation_exists(a11, c6),
4006
+ relation_exists(a55, c11),
4007
+ relation_exists(a99, c1),
4008
+ relation_exists(a143, c6),
4009
+ relation_exists(a187, c11),
4010
+ relation_exists(a6, c2),
4011
+ relation_exists(a50, c7),
4012
+ relation_exists(a94, c12),
4013
+ relation_exists(a138, c2),
4014
+ relation_exists(a182, c7),
4015
+ relation_exists(a1, c13),
4016
+ relation_exists(a45, c3),
4017
+ relation_exists(a89, c8),
4018
+ relation_exists(a133, c13),
4019
+ relation_exists(a177, c3),
4020
+ relation_exists(a221, c8),
4021
+ relation_exists(a40, c14),
4022
+ relation_exists(a84, c4),
4023
+ relation_exists(a128, c9),
4024
+ relation_exists(a172, c14),
4025
+ relation_exists(a216, c4),
4026
+ relation_exists(a35, c10),
4027
+ relation_exists(a79, c0),
4028
+ relation_exists(a123, c5),
4029
+ relation_exists(a167, c10),
4030
+ relation_exists(a211, c0),
4031
+ relation_exists(a30, c6),
4032
+ relation_exists(a74, c11),
4033
+ relation_exists(a118, c1),
4034
+ relation_exists(a162, c6),
4035
+ relation_exists(a206, c11),
4036
+ relation_exists(a25, c2),
4037
+ relation_exists(a69, c7),
4038
+ relation_exists(a113, c12),
4039
+ relation_exists(a157, c2),
4040
+ relation_exists(a201, c7),
4041
+ relation_exists(a20, c13),
4042
+ relation_exists(a64, c3),
4043
+ relation_exists(a108, c8),
4044
+ relation_exists(a152, c13),
4045
+ relation_exists(a196, c3),
4046
+ relation_exists(a15, c9),
4047
+ relation_exists(a59, c14),
4048
+ relation_exists(a103, c4),
4049
+ relation_exists(a147, c9),
4050
+ relation_exists(a191, c14),
4051
+ relation_exists(a10, c5),
4052
+ relation_exists(a54, c10),
4053
+ relation_exists(a98, c0),
4054
+ relation_exists(a142, c5),
4055
+ relation_exists(a186, c10),
4056
+ relation_exists(a5, c1),
4057
+ relation_exists(a49, c6),
4058
+ relation_exists(a93, c11),
4059
+ relation_exists(a137, c1),
4060
+ relation_exists(a181, c6),
4061
+ relation_exists(a0, c12),
4062
+ relation_exists(a44, c2),
4063
+ relation_exists(a88, c7),
4064
+ relation_exists(a132, c12),
4065
+ relation_exists(a176, c2),
4066
+ relation_exists(a220, c7),
4067
+ relation_exists(a39, c13),
4068
+ relation_exists(a83, c3),
4069
+ relation_exists(a127, c8),
4070
+ relation_exists(a171, c13),
4071
+ relation_exists(a215, c3),
4072
+ relation_exists(a34, c9),
4073
+ relation_exists(a78, c14),
4074
+ relation_exists(a122, c4),
4075
+ relation_exists(a166, c9),
4076
+ relation_exists(a210, c14),
4077
+ relation_exists(a29, c5),
4078
+ relation_exists(a73, c10),
4079
+ relation_exists(a117, c0),
4080
+ relation_exists(a161, c5),
4081
+ relation_exists(a205, c10),
4082
+ relation_exists(a24, c1),
4083
+ relation_exists(a68, c6),
4084
+ relation_exists(a112, c11),
4085
+ relation_exists(a156, c1),
4086
+ relation_exists(a200, c6),
4087
+ relation_exists(a19, c12),
4088
+ relation_exists(a63, c2),
4089
+ relation_exists(a107, c7),
4090
+ relation_exists(a151, c12),
4091
+ relation_exists(a195, c2),
4092
+ relation_exists(a14, c8),
4093
+ relation_exists(a58, c13),
4094
+ relation_exists(a102, c3),
4095
+ relation_exists(a146, c8),
4096
+ relation_exists(a190, c13),
4097
+ relation_exists(a9, c4),
4098
+ relation_exists(a53, c9),
4099
+ relation_exists(a97, c14),
4100
+ relation_exists(a141, c4),
4101
+ relation_exists(a185, c9),
4102
+ relation_exists(a4, c0),
4103
+ relation_exists(a48, c5),
4104
+ relation_exists(a92, c10),
4105
+ relation_exists(a136, c0),
4106
+ relation_exists(a180, c5),
4107
+ relation_exists(a224, c10),
4108
+ relation_exists(a43, c1),
4109
+ relation_exists(a87, c6),
4110
+ relation_exists(a131, c11),
4111
+ relation_exists(a175, c1),
4112
+ relation_exists(a219, c6),
4113
+ relation_exists(a38, c12),
4114
+ relation_exists(a82, c2),
4115
+ relation_exists(a126, c7),
4116
+ relation_exists(a170, c12),
4117
+ relation_exists(a214, c2),
4118
+ relation_exists(a33, c8),
4119
+ relation_exists(a77, c13),
4120
+ relation_exists(a121, c3),
4121
+ relation_exists(a165, c8),
4122
+ relation_exists(a209, c13),
4123
+ relation_exists(a28, c4),
4124
+ relation_exists(a72, c9),
4125
+ relation_exists(a116, c14),
4126
+ relation_exists(a160, c4),
4127
+ relation_exists(a204, c9),
4128
+ relation_exists(a23, c0),
4129
+ relation_exists(a67, c5),
4130
+ relation_exists(a111, c10),
4131
+ relation_exists(a155, c0),
4132
+ relation_exists(a199, c5),
4133
+ relation_exists(a18, c11),
4134
+ relation_exists(a62, c1),
4135
+ relation_exists(a106, c6),
4136
+ relation_exists(a150, c11),
4137
+ relation_exists(a194, c1),
4138
+ relation_exists(a13, c7),
4139
+ relation_exists(a57, c12),
4140
+ relation_exists(a101, c2),
4141
+ relation_exists(a145, c7),
4142
+ relation_exists(a189, c12),
4143
+ relation_exists(a8, c3),
4144
+ relation_exists(a52, c8),
4145
+ relation_exists(a96, c13),
4146
+ relation_exists(a140, c3),
4147
+ relation_exists(a184, c8),
4148
+ relation_exists(a3, c14),
4149
+ relation_exists(a47, c4),
4150
+ relation_exists(a91, c9),
4151
+ relation_exists(a135, c14),
4152
+ relation_exists(a179, c4),
4153
+ relation_exists(a223, c9),
4154
+ relation_exists(a42, c0),
4155
+ relation_exists(a86, c5),
4156
+ relation_exists(a130, c10),
4157
+ relation_exists(a174, c0),
4158
+ relation_exists(a218, c5),
4159
+ relation_exists(a37, c11),
4160
+ relation_exists(a81, c1),
4161
+ relation_exists(a125, c6),
4162
+ relation_exists(a169, c11),
4163
+ relation_exists(a213, c1),
4164
+ relation_exists(a32, c7),
4165
+ relation_exists(a76, c12),
4166
+ relation_exists(a120, c2),
4167
+ relation_exists(a164, c7),
4168
+ relation_exists(a208, c12),
4169
+ relation_exists(a27, c3),
4170
+ relation_exists(a71, c8),
4171
+ relation_exists(a115, c13),
4172
+ relation_exists(a159, c3),
4173
+ relation_exists(a203, c8),
4174
+ relation_exists(a22, c14),
4175
+ relation_exists(a66, c4),
4176
+ relation_exists(a110, c9),
4177
+ relation_exists(a154, c14),
4178
+ relation_exists(a198, c4),
4179
+ relation_exists(a17, c10),
4180
+ relation_exists(a61, c0),
4181
+ relation_exists(a105, c5),
4182
+ relation_exists(a149, c10),
4183
+ relation_exists(a193, c0),
4184
+ relation_exists(a12, c6),
4185
+ relation_exists(a56, c11),
4186
+ relation_exists(a100, c1),
4187
+ relation_exists(a144, c6),
4188
+ relation_exists(a188, c11),
4189
+ relation_exists(a7, c2),
4190
+ relation_exists(a51, c7),
4191
+ relation_exists(a95, c12),
4192
+ relation_exists(a139, c2),
4193
+ relation_exists(a183, c7),
4194
+ relation_exists(a2, c13),
4195
+ relation_exists(a46, c3),
4196
+ relation_exists(a90, c8),
4197
+ relation_exists(a134, c13),
4198
+ relation_exists(a178, c3),
4199
+ relation_exists(a222, c8),
4200
+ relation_exists(a41, c14),
4201
+ relation_exists(a85, c4),
4202
+ relation_exists(a129, c9),
4203
+ relation_exists(a173, c14),
4204
+ relation_exists(a217, c4),
4205
+ relation_exists(a36, c10),
4206
+ relation_exists(a80, c0),
4207
+ relation_exists(a124, c5),
4208
+ relation_exists(a168, c10),
4209
+ relation_exists(a212, c0),
4210
+ relation_exists(a31, c6),
4211
+ relation_exists(a75, c11),
4212
+ relation_exists(a119, c1),
4213
+ relation_exists(a163, c6),
4214
+ relation_exists(a207, c11),
4215
+ relation_exists(a26, c2),
4216
+ relation_exists(a70, c7),
4217
+ relation_exists(a114, c12),
4218
+ relation_exists(a158, c2),
4219
+ relation_exists(a202, c7),
4220
+ relation_exists(a21, c13),
4221
+ relation_exists(a65, c3),
4222
+ relation_exists(a109, c8),
4223
+ relation_exists(a153, c13),
4224
+ relation_exists(a197, c3),
4225
+ relation_exists(a16, c9),
4226
+ relation_exists(a60, c14),
4227
+ relation_exists(a104, c4),
4228
+ relation_exists(a148, c9),
4229
+ relation_exists(a192, c14),
4230
+ relation_exists(a11, c5),
4231
+ relation_exists(a55, c10),
4232
+ relation_exists(a99, c0),
4233
+ relation_exists(a143, c5),
4234
+ relation_exists(a187, c10),
4235
+ relation_exists(a6, c1),
4236
+ relation_exists(a50, c6),
4237
+ relation_exists(a94, c11),
4238
+ relation_exists(a138, c1),
4239
+ relation_exists(a182, c6),
4240
+ relation_exists(a1, c12),
4241
+ relation_exists(a45, c2),
4242
+ relation_exists(a89, c7),
4243
+ relation_exists(a133, c12),
4244
+ relation_exists(a177, c2),
4245
+ relation_exists(a221, c7),
4246
+ relation_exists(a40, c13),
4247
+ relation_exists(a84, c3),
4248
+ relation_exists(a128, c8),
4249
+ relation_exists(a172, c13),
4250
+ relation_exists(a216, c3),
4251
+ relation_exists(a35, c9),
4252
+ relation_exists(a79, c14),
4253
+ relation_exists(a123, c4),
4254
+ relation_exists(a167, c9),
4255
+ relation_exists(a211, c14),
4256
+ relation_exists(a30, c5),
4257
+ relation_exists(a74, c10),
4258
+ relation_exists(a118, c0),
4259
+ relation_exists(a162, c5),
4260
+ relation_exists(a206, c10),
4261
+ relation_exists(a25, c1),
4262
+ relation_exists(a69, c6),
4263
+ relation_exists(a113, c11),
4264
+ relation_exists(a157, c1),
4265
+ relation_exists(a201, c6),
4266
+ relation_exists(a20, c12),
4267
+ relation_exists(a64, c2),
4268
+ relation_exists(a108, c7),
4269
+ relation_exists(a152, c12),
4270
+ relation_exists(a196, c2),
4271
+ relation_exists(a15, c8),
4272
+ relation_exists(a59, c13),
4273
+ relation_exists(a103, c3),
4274
+ relation_exists(a147, c8),
4275
+ relation_exists(a191, c13),
4276
+ relation_exists(a10, c4),
4277
+ relation_exists(a54, c9),
4278
+ relation_exists(a98, c14),
4279
+ relation_exists(a142, c4),
4280
+ relation_exists(a186, c9),
4281
+ relation_exists(a5, c0),
4282
+ relation_exists(a49, c5),
4283
+ relation_exists(a93, c10),
4284
+ relation_exists(a137, c0),
4285
+ relation_exists(a181, c5),
4286
+ relation_exists(a0, c11),
4287
+ relation_exists(a44, c1),
4288
+ relation_exists(a88, c6),
4289
+ relation_exists(a132, c11),
4290
+ relation_exists(a176, c1),
4291
+ relation_exists(a220, c6),
4292
+ relation_exists(a39, c12),
4293
+ relation_exists(a83, c2),
4294
+ relation_exists(a127, c7),
4295
+ relation_exists(a171, c12),
4296
+ relation_exists(a215, c2),
4297
+ relation_exists(a34, c8),
4298
+ relation_exists(a78, c13),
4299
+ relation_exists(a122, c3),
4300
+ relation_exists(a166, c8),
4301
+ relation_exists(a210, c13),
4302
+ relation_exists(a29, c4),
4303
+ relation_exists(a73, c9),
4304
+ relation_exists(a117, c14),
4305
+ relation_exists(a161, c4),
4306
+ relation_exists(a205, c9),
4307
+ relation_exists(a24, c0),
4308
+ relation_exists(a68, c5),
4309
+ relation_exists(a112, c10),
4310
+ relation_exists(a156, c0),
4311
+ relation_exists(a200, c5),
4312
+ relation_exists(a19, c11),
4313
+ relation_exists(a63, c1),
4314
+ relation_exists(a107, c6),
4315
+ relation_exists(a151, c11),
4316
+ relation_exists(a195, c1),
4317
+ relation_exists(a14, c7),
4318
+ relation_exists(a58, c12),
4319
+ relation_exists(a102, c2),
4320
+ relation_exists(a146, c7),
4321
+ relation_exists(a190, c12),
4322
+ relation_exists(a9, c3),
4323
+ relation_exists(a53, c8),
4324
+ relation_exists(a97, c13),
4325
+ relation_exists(a141, c3),
4326
+ relation_exists(a185, c8),
4327
+ relation_exists(a4, c14),
4328
+ relation_exists(a48, c4),
4329
+ relation_exists(a92, c9),
4330
+ relation_exists(a136, c14),
4331
+ relation_exists(a180, c4),
4332
+ relation_exists(a224, c9),
4333
+ relation_exists(a43, c0),
4334
+ relation_exists(a87, c5),
4335
+ relation_exists(a131, c10),
4336
+ relation_exists(a175, c0),
4337
+ relation_exists(a219, c5),
4338
+ relation_exists(a38, c11),
4339
+ relation_exists(a82, c1),
4340
+ relation_exists(a126, c6),
4341
+ relation_exists(a170, c11),
4342
+ relation_exists(a214, c1),
4343
+ relation_exists(a33, c7),
4344
+ relation_exists(a77, c12),
4345
+ relation_exists(a121, c2),
4346
+ relation_exists(a165, c7),
4347
+ relation_exists(a209, c12),
4348
+ relation_exists(a28, c3),
4349
+ relation_exists(a72, c8),
4350
+ relation_exists(a116, c13),
4351
+ relation_exists(a160, c3),
4352
+ relation_exists(a204, c8),
4353
+ relation_exists(a23, c14),
4354
+ relation_exists(a67, c4),
4355
+ relation_exists(a111, c9),
4356
+ relation_exists(a155, c14),
4357
+ relation_exists(a199, c4),
4358
+ relation_exists(a18, c10),
4359
+ relation_exists(a62, c0),
4360
+ relation_exists(a106, c5),
4361
+ relation_exists(a150, c10),
4362
+ relation_exists(a194, c0),
4363
+ relation_exists(a13, c6),
4364
+ relation_exists(a57, c11),
4365
+ relation_exists(a101, c1),
4366
+ relation_exists(a145, c6),
4367
+ relation_exists(a189, c11),
4368
+ relation_exists(a8, c2),
4369
+ relation_exists(a52, c7),
4370
+ relation_exists(a96, c12),
4371
+ relation_exists(a140, c2),
4372
+ relation_exists(a184, c7),
4373
+ relation_exists(a3, c13),
4374
+ relation_exists(a47, c3),
4375
+ relation_exists(a91, c8),
4376
+ relation_exists(a135, c13),
4377
+ relation_exists(a179, c3),
4378
+ relation_exists(a223, c8),
4379
+ relation_exists(a42, c14),
4380
+ relation_exists(a86, c4),
4381
+ relation_exists(a130, c9),
4382
+ relation_exists(a174, c14),
4383
+ relation_exists(a218, c4),
4384
+ relation_exists(a37, c10),
4385
+ relation_exists(a81, c0),
4386
+ relation_exists(a125, c5),
4387
+ relation_exists(a169, c10),
4388
+ relation_exists(a213, c0),
4389
+ relation_exists(a32, c6),
4390
+ relation_exists(a76, c11),
4391
+ relation_exists(a120, c1),
4392
+ relation_exists(a164, c6),
4393
+ relation_exists(a208, c11),
4394
+ relation_exists(a27, c2),
4395
+ relation_exists(a71, c7),
4396
+ relation_exists(a115, c12),
4397
+ relation_exists(a159, c2),
4398
+ relation_exists(a203, c7),
4399
+ relation_exists(a22, c13),
4400
+ relation_exists(a66, c3),
4401
+ relation_exists(a110, c8),
4402
+ relation_exists(a154, c13),
4403
+ relation_exists(a198, c3),
4404
+ relation_exists(a17, c9),
4405
+ relation_exists(a61, c14),
4406
+ relation_exists(a105, c4),
4407
+ relation_exists(a149, c9),
4408
+ relation_exists(a193, c14),
4409
+ relation_exists(a12, c5),
4410
+ relation_exists(a56, c10),
4411
+ relation_exists(a100, c0),
4412
+ relation_exists(a144, c5),
4413
+ relation_exists(a188, c10),
4414
+ relation_exists(a7, c1),
4415
+ relation_exists(a51, c6),
4416
+ relation_exists(a95, c11),
4417
+ relation_exists(a139, c1),
4418
+ relation_exists(a183, c6),
4419
+ relation_exists(a2, c12),
4420
+ relation_exists(a46, c2),
4421
+ relation_exists(a90, c7),
4422
+ relation_exists(a134, c12),
4423
+ relation_exists(a178, c2),
4424
+ relation_exists(a222, c7),
4425
+ relation_exists(a41, c13),
4426
+ relation_exists(a85, c3),
4427
+ relation_exists(a129, c8),
4428
+ relation_exists(a173, c13),
4429
+ relation_exists(a217, c3),
4430
+ relation_exists(a36, c9),
4431
+ relation_exists(a80, c14),
4432
+ relation_exists(a124, c4),
4433
+ relation_exists(a168, c9),
4434
+ relation_exists(a212, c14),
4435
+ relation_exists(a31, c5),
4436
+ relation_exists(a75, c10),
4437
+ relation_exists(a119, c0),
4438
+ relation_exists(a163, c5),
4439
+ relation_exists(a207, c10),
4440
+ relation_exists(a26, c1),
4441
+ relation_exists(a70, c6),
4442
+ relation_exists(a114, c11),
4443
+ relation_exists(a158, c1),
4444
+ relation_exists(a202, c6),
4445
+ relation_exists(a21, c12),
4446
+ relation_exists(a65, c2),
4447
+ relation_exists(a109, c7),
4448
+ relation_exists(a153, c12),
4449
+ relation_exists(a197, c2),
4450
+ relation_exists(a16, c8),
4451
+ relation_exists(a60, c13),
4452
+ relation_exists(a104, c3),
4453
+ relation_exists(a148, c8),
4454
+ relation_exists(a192, c13),
4455
+ relation_exists(a11, c4),
4456
+ relation_exists(a55, c9),
4457
+ relation_exists(a99, c14),
4458
+ relation_exists(a143, c4),
4459
+ relation_exists(a187, c9),
4460
+ relation_exists(a6, c0),
4461
+ relation_exists(a50, c5),
4462
+ relation_exists(a94, c10),
4463
+ relation_exists(a138, c0),
4464
+ relation_exists(a182, c5),
4465
+ relation_exists(a1, c11),
4466
+ relation_exists(a45, c1),
4467
+ relation_exists(a89, c6),
4468
+ relation_exists(a133, c11),
4469
+ relation_exists(a177, c1),
4470
+ relation_exists(a221, c6),
4471
+ relation_exists(a40, c12),
4472
+ relation_exists(a84, c2),
4473
+ relation_exists(a128, c7),
4474
+ relation_exists(a172, c12),
4475
+ relation_exists(a216, c2),
4476
+ relation_exists(a35, c8),
4477
+ relation_exists(a79, c13),
4478
+ relation_exists(a123, c3),
4479
+ relation_exists(a167, c8),
4480
+ relation_exists(a211, c13),
4481
+ relation_exists(a30, c4),
4482
+ relation_exists(a74, c9),
4483
+ relation_exists(a118, c14),
4484
+ relation_exists(a162, c4),
4485
+ relation_exists(a206, c9),
4486
+ relation_exists(a25, c0),
4487
+ relation_exists(a69, c5),
4488
+ relation_exists(a113, c10),
4489
+ relation_exists(a157, c0),
4490
+ relation_exists(a201, c5),
4491
+ relation_exists(a20, c11),
4492
+ relation_exists(a64, c1),
4493
+ relation_exists(a108, c6),
4494
+ relation_exists(a152, c11),
4495
+ relation_exists(a196, c1),
4496
+ relation_exists(a15, c7),
4497
+ relation_exists(a59, c12),
4498
+ relation_exists(a103, c2),
4499
+ relation_exists(a147, c7),
4500
+ relation_exists(a191, c12),
4501
+ relation_exists(a10, c3),
4502
+ relation_exists(a54, c8),
4503
+ relation_exists(a98, c13),
4504
+ relation_exists(a142, c3),
4505
+ relation_exists(a186, c8),
4506
+ relation_exists(a5, c14),
4507
+ relation_exists(a49, c4),
4508
+ relation_exists(a93, c9),
4509
+ relation_exists(a137, c14),
4510
+ relation_exists(a181, c4),
4511
+ relation_exists(a0, c10),
4512
+ relation_exists(a44, c0),
4513
+ relation_exists(a88, c5),
4514
+ relation_exists(a132, c10),
4515
+ relation_exists(a176, c0),
4516
+ relation_exists(a220, c5),
4517
+ relation_exists(a39, c11),
4518
+ relation_exists(a83, c1),
4519
+ relation_exists(a127, c6),
4520
+ relation_exists(a171, c11),
4521
+ relation_exists(a215, c1),
4522
+ relation_exists(a34, c7),
4523
+ relation_exists(a78, c12),
4524
+ relation_exists(a122, c2),
4525
+ relation_exists(a166, c7),
4526
+ relation_exists(a210, c12),
4527
+ relation_exists(a29, c3),
4528
+ relation_exists(a73, c8),
4529
+ relation_exists(a117, c13),
4530
+ relation_exists(a161, c3),
4531
+ relation_exists(a205, c8),
4532
+ relation_exists(a24, c14),
4533
+ relation_exists(a68, c4),
4534
+ relation_exists(a112, c9),
4535
+ relation_exists(a156, c14),
4536
+ relation_exists(a200, c4),
4537
+ relation_exists(a19, c10),
4538
+ relation_exists(a63, c0),
4539
+ relation_exists(a107, c5),
4540
+ relation_exists(a151, c10),
4541
+ relation_exists(a195, c0),
4542
+ relation_exists(a14, c6),
4543
+ relation_exists(a58, c11),
4544
+ relation_exists(a102, c1),
4545
+ relation_exists(a146, c6),
4546
+ relation_exists(a190, c11),
4547
+ relation_exists(a9, c2),
4548
+ relation_exists(a53, c7),
4549
+ relation_exists(a97, c12),
4550
+ relation_exists(a141, c2),
4551
+ relation_exists(a185, c7),
4552
+ relation_exists(a4, c13),
4553
+ relation_exists(a48, c3),
4554
+ relation_exists(a92, c8),
4555
+ relation_exists(a136, c13),
4556
+ relation_exists(a180, c3),
4557
+ relation_exists(a224, c8),
4558
+ relation_exists(a43, c14),
4559
+ relation_exists(a87, c4),
4560
+ relation_exists(a131, c9),
4561
+ relation_exists(a175, c14),
4562
+ relation_exists(a219, c4),
4563
+ relation_exists(a38, c10),
4564
+ relation_exists(a82, c0),
4565
+ relation_exists(a126, c5),
4566
+ relation_exists(a170, c10),
4567
+ relation_exists(a214, c0),
4568
+ relation_exists(a33, c6),
4569
+ relation_exists(a77, c11),
4570
+ relation_exists(a121, c1),
4571
+ relation_exists(a165, c6),
4572
+ relation_exists(a209, c11),
4573
+ relation_exists(a28, c2),
4574
+ relation_exists(a72, c7),
4575
+ relation_exists(a116, c12),
4576
+ relation_exists(a160, c2),
4577
+ relation_exists(a204, c7),
4578
+ relation_exists(a23, c13),
4579
+ relation_exists(a67, c3),
4580
+ relation_exists(a111, c8),
4581
+ relation_exists(a155, c13),
4582
+ relation_exists(a199, c3),
4583
+ relation_exists(a18, c9),
4584
+ relation_exists(a62, c14),
4585
+ relation_exists(a106, c4),
4586
+ relation_exists(a150, c9),
4587
+ relation_exists(a194, c14),
4588
+ relation_exists(a13, c5),
4589
+ relation_exists(a57, c10),
4590
+ relation_exists(a101, c0),
4591
+ relation_exists(a145, c5),
4592
+ relation_exists(a189, c10),
4593
+ relation_exists(a8, c1),
4594
+ relation_exists(a52, c6),
4595
+ relation_exists(a96, c11),
4596
+ relation_exists(a140, c1),
4597
+ relation_exists(a184, c6),
4598
+ relation_exists(a3, c12),
4599
+ relation_exists(a47, c2),
4600
+ relation_exists(a91, c7),
4601
+ relation_exists(a135, c12),
4602
+ relation_exists(a179, c2),
4603
+ relation_exists(a223, c7),
4604
+ relation_exists(a42, c13),
4605
+ relation_exists(a86, c3),
4606
+ relation_exists(a130, c8),
4607
+ relation_exists(a174, c13),
4608
+ relation_exists(a218, c3),
4609
+ relation_exists(a37, c9),
4610
+ relation_exists(a81, c14),
4611
+ relation_exists(a125, c4),
4612
+ relation_exists(a169, c9),
4613
+ relation_exists(a213, c14),
4614
+ relation_exists(a32, c5),
4615
+ relation_exists(a76, c10),
4616
+ relation_exists(a120, c0),
4617
+ relation_exists(a164, c5),
4618
+ relation_exists(a208, c10),
4619
+ relation_exists(a27, c1),
4620
+ relation_exists(a71, c6),
4621
+ relation_exists(a115, c11),
4622
+ relation_exists(a159, c1),
4623
+ relation_exists(a203, c6),
4624
+ relation_exists(a22, c12),
4625
+ relation_exists(a66, c2),
4626
+ relation_exists(a110, c7),
4627
+ relation_exists(a154, c12),
4628
+ relation_exists(a198, c2),
4629
+ relation_exists(a17, c8),
4630
+ relation_exists(a61, c13),
4631
+ relation_exists(a105, c3),
4632
+ relation_exists(a149, c8),
4633
+ relation_exists(a193, c13),
4634
+ relation_exists(a12, c4),
4635
+ relation_exists(a56, c9),
4636
+ relation_exists(a100, c14),
4637
+ relation_exists(a144, c4),
4638
+ relation_exists(a188, c9),
4639
+ relation_exists(a7, c0),
4640
+ relation_exists(a51, c5),
4641
+ relation_exists(a95, c10),
4642
+ relation_exists(a139, c0),
4643
+ relation_exists(a183, c5),
4644
+ relation_exists(a2, c11),
4645
+ relation_exists(a46, c1),
4646
+ relation_exists(a90, c6),
4647
+ relation_exists(a134, c11),
4648
+ relation_exists(a178, c1),
4649
+ relation_exists(a222, c6),
4650
+ relation_exists(a41, c12),
4651
+ relation_exists(a85, c2),
4652
+ relation_exists(a129, c7),
4653
+ relation_exists(a173, c12),
4654
+ relation_exists(a217, c2),
4655
+ relation_exists(a36, c8),
4656
+ relation_exists(a80, c13),
4657
+ relation_exists(a124, c3),
4658
+ relation_exists(a168, c8),
4659
+ relation_exists(a212, c13),
4660
+ relation_exists(a31, c4),
4661
+ relation_exists(a75, c9),
4662
+ relation_exists(a119, c14),
4663
+ relation_exists(a163, c4),
4664
+ relation_exists(a207, c9),
4665
+ relation_exists(a26, c0),
4666
+ relation_exists(a70, c5),
4667
+ relation_exists(a114, c10),
4668
+ relation_exists(a158, c0),
4669
+ relation_exists(a202, c5),
4670
+ relation_exists(a21, c11),
4671
+ relation_exists(a65, c1),
4672
+ relation_exists(a109, c6),
4673
+ relation_exists(a153, c11),
4674
+ relation_exists(a197, c1),
4675
+ relation_exists(a16, c7),
4676
+ relation_exists(a60, c12),
4677
+ relation_exists(a104, c2),
4678
+ relation_exists(a148, c7),
4679
+ relation_exists(a192, c12),
4680
+ relation_exists(a11, c3),
4681
+ relation_exists(a55, c8),
4682
+ relation_exists(a99, c13),
4683
+ relation_exists(a143, c3),
4684
+ relation_exists(a187, c8),
4685
+ relation_exists(a6, c14),
4686
+ relation_exists(a50, c4),
4687
+ relation_exists(a94, c9),
4688
+ relation_exists(a138, c14),
4689
+ relation_exists(a182, c4),
4690
+ relation_exists(a1, c10),
4691
+ relation_exists(a45, c0),
4692
+ relation_exists(a89, c5),
4693
+ relation_exists(a133, c10),
4694
+ relation_exists(a177, c0),
4695
+ relation_exists(a221, c5),
4696
+ relation_exists(a40, c11),
4697
+ relation_exists(a84, c1),
4698
+ relation_exists(a128, c6),
4699
+ relation_exists(a172, c11),
4700
+ relation_exists(a216, c1),
4701
+ relation_exists(a35, c7),
4702
+ relation_exists(a79, c12),
4703
+ relation_exists(a123, c2),
4704
+ relation_exists(a167, c7),
4705
+ relation_exists(a211, c12),
4706
+ relation_exists(a30, c3),
4707
+ relation_exists(a74, c8),
4708
+ relation_exists(a118, c13),
4709
+ relation_exists(a162, c3),
4710
+ relation_exists(a206, c8),
4711
+ relation_exists(a25, c14),
4712
+ relation_exists(a69, c4),
4713
+ relation_exists(a113, c9),
4714
+ relation_exists(a157, c14),
4715
+ relation_exists(a201, c4),
4716
+ relation_exists(a20, c10),
4717
+ relation_exists(a64, c0),
4718
+ relation_exists(a108, c5),
4719
+ relation_exists(a152, c10),
4720
+ relation_exists(a196, c0),
4721
+ relation_exists(a15, c6),
4722
+ relation_exists(a59, c11),
4723
+ relation_exists(a103, c1),
4724
+ relation_exists(a147, c6),
4725
+ relation_exists(a191, c11),
4726
+ relation_exists(a10, c2),
4727
+ relation_exists(a54, c7),
4728
+ relation_exists(a98, c12),
4729
+ relation_exists(a142, c2),
4730
+ relation_exists(a186, c7),
4731
+ relation_exists(a5, c13),
4732
+ relation_exists(a49, c3),
4733
+ relation_exists(a93, c8),
4734
+ relation_exists(a137, c13),
4735
+ relation_exists(a181, c3),
4736
+ relation_exists(a0, c9),
4737
+ relation_exists(a44, c14),
4738
+ relation_exists(a88, c4),
4739
+ relation_exists(a132, c9),
4740
+ relation_exists(a176, c14),
4741
+ relation_exists(a220, c4),
4742
+ relation_exists(a39, c10),
4743
+ relation_exists(a83, c0),
4744
+ relation_exists(a127, c5),
4745
+ relation_exists(a171, c10),
4746
+ relation_exists(a215, c0),
4747
+ relation_exists(a34, c6),
4748
+ relation_exists(a78, c11),
4749
+ relation_exists(a122, c1),
4750
+ relation_exists(a166, c6),
4751
+ relation_exists(a210, c11),
4752
+ relation_exists(a29, c2),
4753
+ relation_exists(a73, c7),
4754
+ relation_exists(a117, c12),
4755
+ relation_exists(a161, c2),
4756
+ relation_exists(a205, c7),
4757
+ relation_exists(a24, c13),
4758
+ relation_exists(a68, c3),
4759
+ relation_exists(a112, c8),
4760
+ relation_exists(a156, c13),
4761
+ relation_exists(a200, c3),
4762
+ relation_exists(a19, c9),
4763
+ relation_exists(a63, c14),
4764
+ relation_exists(a107, c4),
4765
+ relation_exists(a151, c9),
4766
+ relation_exists(a195, c14),
4767
+ relation_exists(a14, c5),
4768
+ relation_exists(a58, c10),
4769
+ relation_exists(a102, c0),
4770
+ relation_exists(a146, c5),
4771
+ relation_exists(a190, c10),
4772
+ relation_exists(a9, c1),
4773
+ relation_exists(a53, c6),
4774
+ relation_exists(a97, c11),
4775
+ relation_exists(a141, c1),
4776
+ relation_exists(a185, c6),
4777
+ relation_exists(a4, c12),
4778
+ relation_exists(a48, c2),
4779
+ relation_exists(a92, c7),
4780
+ relation_exists(a136, c12),
4781
+ relation_exists(a180, c2),
4782
+ relation_exists(a224, c7),
4783
+ relation_exists(a43, c13),
4784
+ relation_exists(a87, c3),
4785
+ relation_exists(a131, c8),
4786
+ relation_exists(a175, c13),
4787
+ relation_exists(a219, c3),
4788
+ relation_exists(a38, c9),
4789
+ relation_exists(a82, c14),
4790
+ relation_exists(a126, c4),
4791
+ relation_exists(a170, c9),
4792
+ relation_exists(a214, c14),
4793
+ relation_exists(a33, c5),
4794
+ relation_exists(a77, c10),
4795
+ relation_exists(a121, c0),
4796
+ relation_exists(a165, c5),
4797
+ relation_exists(a209, c10),
4798
+ relation_exists(a28, c1),
4799
+ relation_exists(a72, c6),
4800
+ relation_exists(a116, c11),
4801
+ relation_exists(a160, c1),
4802
+ relation_exists(a204, c6),
4803
+ relation_exists(a23, c12),
4804
+ relation_exists(a67, c2),
4805
+ relation_exists(a111, c7),
4806
+ relation_exists(a155, c12),
4807
+ relation_exists(a199, c2),
4808
+ relation_exists(a18, c8),
4809
+ relation_exists(a62, c13),
4810
+ relation_exists(a106, c3),
4811
+ relation_exists(a150, c8),
4812
+ relation_exists(a194, c13),
4813
+ relation_exists(a13, c4),
4814
+ relation_exists(a57, c9),
4815
+ relation_exists(a101, c14),
4816
+ relation_exists(a145, c4),
4817
+ relation_exists(a189, c9),
4818
+ relation_exists(a8, c0),
4819
+ relation_exists(a52, c5),
4820
+ relation_exists(a96, c10),
4821
+ relation_exists(a140, c0),
4822
+ relation_exists(a184, c5),
4823
+ relation_exists(a3, c11),
4824
+ relation_exists(a47, c1),
4825
+ relation_exists(a91, c6),
4826
+ relation_exists(a135, c11),
4827
+ relation_exists(a179, c1),
4828
+ relation_exists(a223, c6),
4829
+ relation_exists(a42, c12),
4830
+ relation_exists(a86, c2),
4831
+ relation_exists(a130, c7),
4832
+ relation_exists(a174, c12),
4833
+ relation_exists(a218, c2),
4834
+ relation_exists(a37, c8),
4835
+ relation_exists(a81, c13),
4836
+ relation_exists(a125, c3),
4837
+ relation_exists(a169, c8),
4838
+ relation_exists(a213, c13),
4839
+ relation_exists(a32, c4),
4840
+ relation_exists(a76, c9),
4841
+ relation_exists(a120, c14),
4842
+ relation_exists(a164, c4),
4843
+ relation_exists(a208, c9),
4844
+ relation_exists(a27, c0),
4845
+ relation_exists(a71, c5),
4846
+ relation_exists(a115, c10),
4847
+ relation_exists(a159, c0),
4848
+ relation_exists(a203, c5),
4849
+ relation_exists(a22, c11),
4850
+ relation_exists(a66, c1),
4851
+ relation_exists(a110, c6),
4852
+ relation_exists(a154, c11),
4853
+ relation_exists(a198, c1),
4854
+ relation_exists(a17, c7),
4855
+ relation_exists(a61, c12),
4856
+ relation_exists(a105, c2),
4857
+ relation_exists(a149, c7),
4858
+ relation_exists(a193, c12),
4859
+ relation_exists(a12, c3),
4860
+ relation_exists(a56, c8),
4861
+ relation_exists(a100, c13),
4862
+ relation_exists(a144, c3),
4863
+ relation_exists(a188, c8),
4864
+ relation_exists(a7, c14),
4865
+ relation_exists(a51, c4),
4866
+ relation_exists(a95, c9),
4867
+ relation_exists(a139, c14),
4868
+ relation_exists(a183, c4),
4869
+ relation_exists(a2, c10),
4870
+ relation_exists(a46, c0),
4871
+ relation_exists(a90, c5),
4872
+ relation_exists(a134, c10),
4873
+ relation_exists(a178, c0),
4874
+ relation_exists(a222, c5),
4875
+ relation_exists(a41, c11),
4876
+ relation_exists(a85, c1),
4877
+ relation_exists(a129, c6),
4878
+ relation_exists(a173, c11),
4879
+ relation_exists(a217, c1),
4880
+ relation_exists(a36, c7),
4881
+ relation_exists(a80, c12),
4882
+ relation_exists(a124, c2),
4883
+ relation_exists(a168, c7),
4884
+ relation_exists(a212, c12),
4885
+ relation_exists(a31, c3),
4886
+ relation_exists(a75, c8),
4887
+ relation_exists(a119, c13),
4888
+ relation_exists(a163, c3),
4889
+ relation_exists(a207, c8),
4890
+ relation_exists(a26, c14),
4891
+ relation_exists(a70, c4),
4892
+ relation_exists(a114, c9),
4893
+ relation_exists(a158, c14),
4894
+ relation_exists(a202, c4),
4895
+ relation_exists(a21, c10),
4896
+ relation_exists(a65, c0),
4897
+ relation_exists(a109, c5),
4898
+ relation_exists(a153, c10),
4899
+ relation_exists(a197, c0),
4900
+ relation_exists(a16, c6),
4901
+ relation_exists(a60, c11),
4902
+ relation_exists(a104, c1),
4903
+ relation_exists(a148, c6),
4904
+ relation_exists(a192, c11),
4905
+ relation_exists(a11, c2),
4906
+ relation_exists(a55, c7),
4907
+ relation_exists(a99, c12),
4908
+ relation_exists(a143, c2),
4909
+ relation_exists(a187, c7),
4910
+ relation_exists(a6, c13),
4911
+ relation_exists(a50, c3),
4912
+ relation_exists(a94, c8),
4913
+ relation_exists(a138, c13),
4914
+ relation_exists(a182, c3),
4915
+ relation_exists(a1, c9),
4916
+ relation_exists(a45, c14),
4917
+ relation_exists(a89, c4),
4918
+ relation_exists(a133, c9),
4919
+ relation_exists(a177, c14),
4920
+ relation_exists(a221, c4),
4921
+ relation_exists(a40, c10),
4922
+ relation_exists(a84, c0),
4923
+ relation_exists(a128, c5),
4924
+ relation_exists(a172, c10),
4925
+ relation_exists(a216, c0),
4926
+ relation_exists(a35, c6),
4927
+ relation_exists(a79, c11),
4928
+ relation_exists(a123, c1),
4929
+ relation_exists(a167, c6),
4930
+ relation_exists(a211, c11),
4931
+ relation_exists(a30, c2),
4932
+ relation_exists(a74, c7),
4933
+ relation_exists(a118, c12),
4934
+ relation_exists(a162, c2),
4935
+ relation_exists(a206, c7),
4936
+ relation_exists(a25, c13),
4937
+ relation_exists(a69, c3),
4938
+ relation_exists(a113, c8),
4939
+ relation_exists(a157, c13),
4940
+ relation_exists(a201, c3),
4941
+ relation_exists(a20, c9),
4942
+ relation_exists(a64, c14),
4943
+ relation_exists(a108, c4),
4944
+ relation_exists(a152, c9),
4945
+ relation_exists(a196, c14),
4946
+ relation_exists(a15, c5),
4947
+ relation_exists(a59, c10),
4948
+ relation_exists(a103, c0),
4949
+ relation_exists(a147, c5),
4950
+ relation_exists(a191, c10),
4951
+ relation_exists(a10, c1),
4952
+ relation_exists(a54, c6),
4953
+ relation_exists(a98, c11),
4954
+ relation_exists(a142, c1),
4955
+ relation_exists(a186, c6),
4956
+ relation_exists(a5, c12),
4957
+ relation_exists(a49, c2),
4958
+ relation_exists(a93, c7),
4959
+ relation_exists(a137, c12),
4960
+ relation_exists(a181, c2),
4961
+ relation_exists(a0, c8),
4962
+ relation_exists(a44, c13),
4963
+ relation_exists(a88, c3),
4964
+ relation_exists(a132, c8),
4965
+ relation_exists(a176, c13),
4966
+ relation_exists(a220, c3),
4967
+ relation_exists(a39, c9),
4968
+ relation_exists(a83, c14),
4969
+ relation_exists(a127, c4),
4970
+ relation_exists(a171, c9),
4971
+ relation_exists(a215, c14),
4972
+ relation_exists(a34, c5),
4973
+ relation_exists(a78, c10),
4974
+ relation_exists(a122, c0),
4975
+ relation_exists(a166, c5),
4976
+ relation_exists(a210, c10),
4977
+ relation_exists(a29, c1),
4978
+ relation_exists(a73, c6),
4979
+ relation_exists(a117, c11),
4980
+ relation_exists(a161, c1),
4981
+ relation_exists(a205, c6),
4982
+ relation_exists(a24, c12),
4983
+ relation_exists(a68, c2),
4984
+ relation_exists(a112, c7),
4985
+ relation_exists(a156, c12),
4986
+ relation_exists(a200, c2),
4987
+ relation_exists(a19, c8),
4988
+ relation_exists(a63, c13),
4989
+ relation_exists(a107, c3),
4990
+ relation_exists(a151, c8),
4991
+ relation_exists(a195, c13),
4992
+ relation_exists(a14, c4),
4993
+ relation_exists(a58, c9),
4994
+ relation_exists(a102, c14),
4995
+ relation_exists(a146, c4),
4996
+ relation_exists(a190, c9),
4997
+ relation_exists(a9, c0),
4998
+ relation_exists(a53, c5),
4999
+ relation_exists(a97, c10),
5000
+ relation_exists(a141, c0),
5001
+ relation_exists(a185, c5),
5002
+ relation_exists(a4, c11),
5003
+ relation_exists(a48, c1),
5004
+ relation_exists(a92, c6),
5005
+ relation_exists(a136, c11),
5006
+ relation_exists(a180, c1),
5007
+ relation_exists(a224, c6),
5008
+ relation_exists(a43, c12),
5009
+ relation_exists(a87, c2),
5010
+ relation_exists(a131, c7),
5011
+ relation_exists(a175, c12),
5012
+ relation_exists(a219, c2),
5013
+ relation_exists(a38, c8),
5014
+ relation_exists(a82, c13),
5015
+ relation_exists(a126, c3),
5016
+ relation_exists(a170, c8),
5017
+ relation_exists(a214, c13),
5018
+ relation_exists(a33, c4),
5019
+ relation_exists(a77, c9),
5020
+ relation_exists(a121, c14),
5021
+ relation_exists(a165, c4),
5022
+ relation_exists(a209, c9),
5023
+ relation_exists(a28, c0),
5024
+ relation_exists(a72, c5),
5025
+ relation_exists(a116, c10),
5026
+ relation_exists(a160, c0),
5027
+ relation_exists(a204, c5),
5028
+ relation_exists(a23, c11),
5029
+ relation_exists(a67, c1),
5030
+ relation_exists(a111, c6),
5031
+ relation_exists(a155, c11),
5032
+ relation_exists(a199, c1),
5033
+ relation_exists(a18, c7),
5034
+ relation_exists(a62, c12),
5035
+ relation_exists(a106, c2),
5036
+ relation_exists(a150, c7),
5037
+ relation_exists(a194, c12),
5038
+ relation_exists(a13, c3),
5039
+ relation_exists(a57, c8),
5040
+ relation_exists(a101, c13),
5041
+ relation_exists(a145, c3),
5042
+ relation_exists(a189, c8),
5043
+ relation_exists(a8, c14),
5044
+ relation_exists(a52, c4),
5045
+ relation_exists(a96, c9),
5046
+ relation_exists(a140, c14),
5047
+ relation_exists(a184, c4),
5048
+ relation_exists(a3, c10),
5049
+ relation_exists(a47, c0),
5050
+ relation_exists(a91, c5),
5051
+ relation_exists(a135, c10),
5052
+ relation_exists(a179, c0),
5053
+ relation_exists(a223, c5),
5054
+ relation_exists(a42, c11),
5055
+ relation_exists(a86, c1),
5056
+ relation_exists(a130, c6),
5057
+ relation_exists(a174, c11),
5058
+ relation_exists(a218, c1),
5059
+ relation_exists(a37, c7),
5060
+ relation_exists(a81, c12),
5061
+ relation_exists(a125, c2),
5062
+ relation_exists(a169, c7),
5063
+ relation_exists(a213, c12),
5064
+ relation_exists(a32, c3),
5065
+ relation_exists(a76, c8),
5066
+ relation_exists(a120, c13),
5067
+ relation_exists(a164, c3),
5068
+ relation_exists(a208, c8),
5069
+ relation_exists(a27, c14),
5070
+ relation_exists(a71, c4),
5071
+ relation_exists(a115, c9),
5072
+ relation_exists(a159, c14),
5073
+ relation_exists(a203, c4),
5074
+ relation_exists(a22, c10),
5075
+ relation_exists(a66, c0),
5076
+ relation_exists(a110, c5),
5077
+ relation_exists(a154, c10),
5078
+ relation_exists(a198, c0),
5079
+ relation_exists(a17, c6),
5080
+ relation_exists(a61, c11),
5081
+ relation_exists(a105, c1),
5082
+ relation_exists(a149, c6),
5083
+ relation_exists(a193, c11),
5084
+ relation_exists(a12, c2),
5085
+ relation_exists(a56, c7),
5086
+ relation_exists(a100, c12),
5087
+ relation_exists(a144, c2),
5088
+ relation_exists(a188, c7),
5089
+ relation_exists(a7, c13),
5090
+ relation_exists(a51, c3),
5091
+ relation_exists(a95, c8),
5092
+ relation_exists(a139, c13),
5093
+ relation_exists(a183, c3),
5094
+ relation_exists(a2, c9),
5095
+ relation_exists(a46, c14),
5096
+ relation_exists(a90, c4),
5097
+ relation_exists(a134, c9),
5098
+ relation_exists(a178, c14),
5099
+ relation_exists(a222, c4),
5100
+ relation_exists(a41, c10),
5101
+ relation_exists(a85, c0),
5102
+ relation_exists(a129, c5),
5103
+ relation_exists(a173, c10),
5104
+ relation_exists(a217, c0),
5105
+ relation_exists(a36, c6),
5106
+ relation_exists(a80, c11),
5107
+ relation_exists(a124, c1),
5108
+ relation_exists(a168, c6),
5109
+ relation_exists(a212, c11),
5110
+ relation_exists(a31, c2),
5111
+ relation_exists(a75, c7),
5112
+ relation_exists(a119, c12),
5113
+ relation_exists(a163, c2),
5114
+ relation_exists(a207, c7),
5115
+ relation_exists(a26, c13),
5116
+ relation_exists(a70, c3),
5117
+ relation_exists(a114, c8),
5118
+ relation_exists(a158, c13),
5119
+ relation_exists(a202, c3),
5120
+ relation_exists(a21, c9),
5121
+ relation_exists(a65, c14),
5122
+ relation_exists(a109, c4),
5123
+ relation_exists(a153, c9),
5124
+ relation_exists(a197, c14),
5125
+ relation_exists(a16, c5),
5126
+ relation_exists(a60, c10),
5127
+ relation_exists(a104, c0),
5128
+ relation_exists(a148, c5),
5129
+ relation_exists(a192, c10),
5130
+ relation_exists(a11, c1),
5131
+ relation_exists(a55, c6),
5132
+ relation_exists(a99, c11),
5133
+ relation_exists(a143, c1),
5134
+ relation_exists(a187, c6),
5135
+ relation_exists(a6, c12),
5136
+ relation_exists(a50, c2),
5137
+ relation_exists(a94, c7),
5138
+ relation_exists(a138, c12),
5139
+ relation_exists(a182, c2),
5140
+ relation_exists(a1, c8),
5141
+ relation_exists(a45, c13),
5142
+ relation_exists(a89, c3),
5143
+ relation_exists(a133, c8),
5144
+ relation_exists(a177, c13),
5145
+ relation_exists(a221, c3),
5146
+ relation_exists(a40, c9),
5147
+ relation_exists(a84, c14),
5148
+ relation_exists(a128, c4),
5149
+ relation_exists(a172, c9),
5150
+ relation_exists(a216, c14),
5151
+ relation_exists(a35, c5),
5152
+ relation_exists(a79, c10),
5153
+ relation_exists(a123, c0),
5154
+ relation_exists(a167, c5),
5155
+ relation_exists(a211, c10),
5156
+ relation_exists(a30, c1),
5157
+ relation_exists(a74, c6),
5158
+ relation_exists(a118, c11),
5159
+ relation_exists(a162, c1),
5160
+ relation_exists(a206, c6),
5161
+ relation_exists(a25, c12),
5162
+ relation_exists(a69, c2),
5163
+ relation_exists(a113, c7),
5164
+ relation_exists(a157, c12),
5165
+ relation_exists(a201, c2),
5166
+ relation_exists(a20, c8),
5167
+ relation_exists(a64, c13),
5168
+ relation_exists(a108, c3),
5169
+ relation_exists(a152, c8),
5170
+ relation_exists(a196, c13),
5171
+ relation_exists(a15, c4),
5172
+ relation_exists(a59, c9),
5173
+ relation_exists(a103, c14),
5174
+ relation_exists(a147, c4),
5175
+ relation_exists(a191, c9),
5176
+ relation_exists(a10, c0),
5177
+ relation_exists(a54, c5),
5178
+ relation_exists(a98, c10),
5179
+ relation_exists(a142, c0),
5180
+ relation_exists(a186, c5),
5181
+ relation_exists(a5, c11),
5182
+ relation_exists(a49, c1),
5183
+ relation_exists(a93, c6),
5184
+ relation_exists(a137, c11),
5185
+ relation_exists(a181, c1),
5186
+ relation_exists(a0, c7),
5187
+ relation_exists(a44, c12),
5188
+ relation_exists(a88, c2),
5189
+ relation_exists(a132, c7),
5190
+ relation_exists(a176, c12),
5191
+ relation_exists(a220, c2),
5192
+ relation_exists(a39, c8),
5193
+ relation_exists(a83, c13),
5194
+ relation_exists(a127, c3),
5195
+ relation_exists(a171, c8),
5196
+ relation_exists(a215, c13),
5197
+ relation_exists(a34, c4),
5198
+ relation_exists(a78, c9),
5199
+ relation_exists(a122, c14),
5200
+ relation_exists(a166, c4),
5201
+ relation_exists(a210, c9),
5202
+ relation_exists(a29, c0),
5203
+ relation_exists(a73, c5),
5204
+ relation_exists(a117, c10),
5205
+ relation_exists(a161, c0),
5206
+ relation_exists(a205, c5),
5207
+ relation_exists(a24, c11),
5208
+ relation_exists(a68, c1),
5209
+ relation_exists(a112, c6),
5210
+ relation_exists(a156, c11),
5211
+ relation_exists(a200, c1),
5212
+ relation_exists(a19, c7),
5213
+ relation_exists(a63, c12),
5214
+ relation_exists(a107, c2),
5215
+ relation_exists(a151, c7),
5216
+ relation_exists(a195, c12),
5217
+ relation_exists(a14, c3),
5218
+ relation_exists(a58, c8),
5219
+ relation_exists(a102, c13),
5220
+ relation_exists(a146, c3),
5221
+ relation_exists(a190, c8),
5222
+ relation_exists(a9, c14),
5223
+ relation_exists(a53, c4),
5224
+ relation_exists(a97, c9),
5225
+ relation_exists(a141, c14),
5226
+ relation_exists(a185, c4),
5227
+ relation_exists(a4, c10),
5228
+ relation_exists(a48, c0),
5229
+ relation_exists(a92, c5),
5230
+ relation_exists(a136, c10),
5231
+ relation_exists(a180, c0),
5232
+ relation_exists(a224, c5),
5233
+ relation_exists(a43, c11),
5234
+ relation_exists(a87, c1),
5235
+ relation_exists(a131, c6),
5236
+ relation_exists(a175, c11),
5237
+ relation_exists(a219, c1),
5238
+ relation_exists(a38, c7),
5239
+ relation_exists(a82, c12),
5240
+ relation_exists(a126, c2),
5241
+ relation_exists(a170, c7),
5242
+ relation_exists(a214, c12),
5243
+ relation_exists(a33, c3),
5244
+ relation_exists(a77, c8),
5245
+ relation_exists(a121, c13),
5246
+ relation_exists(a165, c3),
5247
+ relation_exists(a209, c8),
5248
+ relation_exists(a28, c14),
5249
+ relation_exists(a72, c4),
5250
+ relation_exists(a116, c9),
5251
+ relation_exists(a160, c14),
5252
+ relation_exists(a204, c4),
5253
+ relation_exists(a23, c10),
5254
+ relation_exists(a67, c0),
5255
+ relation_exists(a111, c5),
5256
+ relation_exists(a155, c10),
5257
+ relation_exists(a199, c0),
5258
+ relation_exists(a18, c6),
5259
+ relation_exists(a62, c11),
5260
+ relation_exists(a106, c1),
5261
+ relation_exists(a150, c6),
5262
+ relation_exists(a194, c11),
5263
+ relation_exists(a13, c2),
5264
+ relation_exists(a57, c7),
5265
+ relation_exists(a101, c12),
5266
+ relation_exists(a145, c2),
5267
+ relation_exists(a189, c7),
5268
+ relation_exists(a8, c13),
5269
+ relation_exists(a52, c3),
5270
+ relation_exists(a96, c8),
5271
+ relation_exists(a140, c13),
5272
+ relation_exists(a184, c3),
5273
+ relation_exists(a3, c9),
5274
+ relation_exists(a47, c14),
5275
+ relation_exists(a91, c4),
5276
+ relation_exists(a135, c9),
5277
+ relation_exists(a179, c14),
5278
+ relation_exists(a223, c4),
5279
+ relation_exists(a42, c10),
5280
+ relation_exists(a86, c0),
5281
+ relation_exists(a130, c5),
5282
+ relation_exists(a174, c10),
5283
+ relation_exists(a218, c0),
5284
+ relation_exists(a37, c6),
5285
+ relation_exists(a81, c11),
5286
+ relation_exists(a125, c1),
5287
+ relation_exists(a169, c6),
5288
+ relation_exists(a213, c11),
5289
+ relation_exists(a32, c2),
5290
+ relation_exists(a76, c7),
5291
+ relation_exists(a120, c12),
5292
+ relation_exists(a164, c2),
5293
+ relation_exists(a208, c7),
5294
+ relation_exists(a27, c13),
5295
+ relation_exists(a71, c3),
5296
+ relation_exists(a115, c8),
5297
+ relation_exists(a159, c13),
5298
+ relation_exists(a203, c3),
5299
+ relation_exists(a22, c9),
5300
+ relation_exists(a66, c14),
5301
+ relation_exists(a110, c4),
5302
+ relation_exists(a154, c9),
5303
+ relation_exists(a198, c14),
5304
+ relation_exists(a17, c5),
5305
+ relation_exists(a61, c10),
5306
+ relation_exists(a105, c0),
5307
+ relation_exists(a149, c5),
5308
+ relation_exists(a193, c10),
5309
+ relation_exists(a12, c1),
5310
+ relation_exists(a56, c6),
5311
+ relation_exists(a100, c11),
5312
+ relation_exists(a144, c1),
5313
+ relation_exists(a188, c6),
5314
+ relation_exists(a7, c12),
5315
+ relation_exists(a51, c2),
5316
+ relation_exists(a95, c7),
5317
+ relation_exists(a139, c12),
5318
+ relation_exists(a183, c2),
5319
+ relation_exists(a2, c8),
5320
+ relation_exists(a46, c13),
5321
+ relation_exists(a90, c3),
5322
+ relation_exists(a134, c8),
5323
+ relation_exists(a178, c13),
5324
+ relation_exists(a222, c3),
5325
+ relation_exists(a41, c9),
5326
+ relation_exists(a85, c14),
5327
+ relation_exists(a129, c4),
5328
+ relation_exists(a173, c9),
5329
+ relation_exists(a217, c14),
5330
+ relation_exists(a36, c5),
5331
+ relation_exists(a80, c10),
5332
+ relation_exists(a124, c0),
5333
+ relation_exists(a168, c5),
5334
+ relation_exists(a212, c10),
5335
+ relation_exists(a31, c1),
5336
+ relation_exists(a75, c6),
5337
+ relation_exists(a119, c11),
5338
+ relation_exists(a163, c1),
5339
+ relation_exists(a207, c6),
5340
+ relation_exists(a26, c12),
5341
+ relation_exists(a70, c2),
5342
+ relation_exists(a114, c7),
5343
+ relation_exists(a158, c12),
5344
+ relation_exists(a202, c2),
5345
+ relation_exists(a21, c8),
5346
+ relation_exists(a65, c13),
5347
+ relation_exists(a109, c3),
5348
+ relation_exists(a153, c8),
5349
+ relation_exists(a197, c13),
5350
+ relation_exists(a16, c4),
5351
+ relation_exists(a60, c9),
5352
+ relation_exists(a104, c14),
5353
+ relation_exists(a148, c4),
5354
+ relation_exists(a192, c9),
5355
+ relation_exists(a11, c0),
5356
+ relation_exists(a55, c5),
5357
+ relation_exists(a99, c10),
5358
+ relation_exists(a143, c0),
5359
+ relation_exists(a187, c5),
5360
+ relation_exists(a6, c11),
5361
+ relation_exists(a50, c1),
5362
+ relation_exists(a94, c6),
5363
+ relation_exists(a138, c11),
5364
+ relation_exists(a182, c1),
5365
+ relation_exists(a1, c7),
5366
+ relation_exists(a45, c12),
5367
+ relation_exists(a89, c2),
5368
+ relation_exists(a133, c7),
5369
+ relation_exists(a177, c12),
5370
+ relation_exists(a221, c2),
5371
+ relation_exists(a40, c8),
5372
+ relation_exists(a84, c13),
5373
+ relation_exists(a128, c3),
5374
+ relation_exists(a172, c8),
5375
+ relation_exists(a216, c13),
5376
+ relation_exists(a35, c4),
5377
+ relation_exists(a79, c9),
5378
+ relation_exists(a123, c14),
5379
+ relation_exists(a167, c4),
5380
+ relation_exists(a211, c9),
5381
+ relation_exists(a30, c0),
5382
+ relation_exists(a74, c5),
5383
+ relation_exists(a118, c10),
5384
+ relation_exists(a162, c0),
5385
+ relation_exists(a206, c5).
5384
5386
 
5385
5387
  reason(case, "2000 two-key lookups over 3375 facts") :-
5386
5388
  lookupResult(case, passed).