%------------------------------------------------------------------------------ % File : SPASS-SCL---0.1 % Problem : LAT286+2 : TPTP v9.2.1. Released v3.4.0. % Transfm : none % Format : tptp % Command : /export/starexec/sandbox2/solver/bin/execute.py 300 /export/starexec/sandbox2/benchmark/theBenchmark.p % Computer : n029.cluster.edu % Model : x86_64 x86_64 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz % Memory : 8042.1875MB % OS : Linux 3.10.0-693.el7.x86_64 % CPULimit : 300s % WCLimit : 300s % DateTime : Thu May 7 07:26:53 PM UTC 2026 % Result : Unknown 1.64s 1.04s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.12 % Problem : LAT286+2 : TPTP v9.2.1. Released v3.4.0. % 0.12/0.13 % Command : /export/starexec/sandbox2/solver/bin/execute.py 300 /export/starexec/sandbox2/benchmark/theBenchmark.p % 0.16/0.34 % Computer : n029.cluster.edu % 0.16/0.34 % Model : x86_64 x86_64 % 0.16/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.16/0.34 % Memory : 8042.1875MB % 0.16/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.16/0.34 % CPULimit : 300 % 0.16/0.34 % WCLimit : 300 % 0.16/0.34 % DateTime : Thu May 7 12:23:46 EDT 2026 % 0.16/0.34 % CPUTime : % 0.16/0.34 SPASS-SCL-FOL version: % 0.20/0.43 SPASS-SCL-FOL 0.1 (595c0c7b1) [parallel mode] % 1.14/0.99 Starting: ./SPASS-SCL-FOL --heuristics_normal -t 300 /export/starexec/sandbox2/benchmark/theBenchmark.p % 1.14/0.99 Starting: ./SPASS-SCL-FOL --heuristics_resolution_1 -t 300 /export/starexec/sandbox2/benchmark/theBenchmark.p % 1.14/0.99 Starting: ./SPASS-SCL-FOL --heuristics_resolution_2 -t 300 /export/starexec/sandbox2/benchmark/theBenchmark.p % 1.14/0.99 Starting: ./SPASS-SCL-FOL --heuristics_resolution_3 -t 300 /export/starexec/sandbox2/benchmark/theBenchmark.p % 1.14/0.99 Starting: ./SPASS-SCL-FOL --heuristics_lmodel_grow -t 300 /export/starexec/sandbox2/benchmark/theBenchmark.p % 1.14/0.99 Execution resolution_1 ended with status: gaveup % 1.14/0.99 Execution resolution_3 ended with status: gaveup % 1.14/0.99 Execution lmodel_grow ended with status: gaveup % 1.14/0.99 Execution normal ended with status: gaveup % 1.14/0.99 Execution resolution_2 ended with status: gaveup % 1.14/0.99 No successful execution. % 1.14/0.99 % 1.14/0.99 Input Clauses: % 1.64/1.03 % 1.64/1.03 Predicates: r2_hidden = r1_tarski r2_tarski p1_s1_tarski v1_xboole_0 r1_xboole_0 r2_xboole_0 r3_xboole_0 p1_s1_xboole_0 p1_s2_xboole_0 p1_s3_xboole_0 m1_subset_1 p1_s1_subset_1 p1_s2_subset_1 p1_s3_subset_1 p1_s4_subset_1 m2_subset_1 r1_subset_1 r2_subset_1 v1_setfam_1 v2_setfam_1 r1_setfam_1 r2_setfam_1 v1_relat_1 v3_relat_1 v2_relat_1 p1_s1_relat_1 v1_funct_1 v2_funct_1 p1_s1_funct_1 p1_s2_funct_1 r1_relat_2 r2_relat_2 r3_relat_2 r4_relat_2 r5_relat_2 r6_relat_2 r7_relat_2 r8_relat_2 v1_relat_2 v2_relat_2 v3_relat_2 v4_relat_2 v5_relat_2 v6_relat_2 v7_relat_2 v8_relat_2 v3_ordinal1 v1_ordinal1 v2_ordinal1 v5_ordinal1 r1_ordinal1 v4_ordinal1 m1_ordinal1 v6_ordinal1 p1_s1_ordinal1 p1_s2_ordinal1 m1_relset_1 m2_relset_1 p1_s1_relset_1 p1_s2_relset_1 v1_partfun1 r1_partfun1 p1_s1_partfun1 p1_s2_partfun1 p1_s3_partfun1 p1_s4_partfun1 p1_s5_partfun1 v1_funct_2 v3_funct_2 v2_funct_2 p1_s1_funct_2 p1_s3_funct_2 p1_s5_funct_2 p1_s7_funct_2 p1_s9_funct_2 p1_s14_funct_2 p1_s1_funct_3 v1_binop_1 v2_binop_1 v3_binop_1 r1_binop_1 r2_binop_1 r3_binop_1 r4_binop_1 r5_binop_1 r6_binop_1 r7_binop_1 p1_s1_binop_1 v1_ordinal2 r1_ordinal2 v2_ordinal2 v3_ordinal2 v4_ordinal2 p1_s1_ordinal2 v1_finset_1 p1_s1_finset_1 p1_s2_finset_1 v4_finsub_1 v1_finsub_1 v3_finsub_1 v2_finsub_1 v1_setwiseo p1_s1_setwiseo p1_s2_setwiseo p1_s3_setwiseo p1_s4_setwiseo v1_fraenkel m1_fraenkel m2_fraenkel p1_s23_fraenkel p1_s24_fraenkel p1_s26_fraenkel p1_s27_fraenkel p1_s1_fraenkel p2_s1_fraenkel p1_s2_fraenkel p2_s2_fraenkel p1_s3_fraenkel p2_s3_fraenkel p1_s4_fraenkel p2_s4_fraenkel p1_s6_fraenkel p1_s8_fraenkel p2_s8_fraenkel p1_s9_fraenkel p2_s9_fraenkel p2_s11_fraenkel p1_s11_fraenkel p1_s12_fraenkel p2_s12_fraenkel p1_s16_fraenkel p2_s16_fraenkel p2_s19_fraenkel p1_s19_fraenkel p1_s5_fraenkel p1_s7_fraenkel p1_s10_fraenkel p2_s13_fraenkel p1_s13_fraenkel p1_s14_fraenkel p2_s14_fraenkel p1_s15_fraenkel p2_s15_fraenkel p1_s17_fraenkel p1_s18_fraenkel p1_s20_fraenkel v1_xreal_0 v1_xcmplx_0 v2_xreal_0 v3_xreal_0 r1_xreal_0 r1_arytm_2 v1_int_1 r1_int_1 r2_int_1 p1_s1_int_1 p1_s2_int_1 p1_s3_int_1 p1_s4_int_1 p1_s5_int_1 p1_s6_int_1 v1_rat_1 v5_membered v4_membered v3_membered v2_membered v1_membered p1_s1_membered p1_s2_membered p1_s3_membered p1_s4_membered p1_s5_membered v1_card_1 r2_wellord2 v2_wellord1 v2_card_1 p1_s1_card_1 p1_s2_card_1 v1_finseq_1 m1_finseq_1 v2_finseq_1 m2_finseq_1 p1_s1_finseq_1 p1_s3_finseq_1 p1_s4_finseq_1 p1_s5_finseq_1 m1_eqrel_1 p1_s1_eqrel_1 v2_classes1 v1_classes1 v1_classes2 r1_classes1 m1_qc_lang1 v1_qc_lang1 v2_qc_lang1 v3_qc_lang1 v4_qc_lang1 v5_qc_lang1 v6_qc_lang1 p1_s1_qc_lang1 p1_s2_qc_lang1 v1_qc_lang2 v2_qc_lang2 v3_qc_lang2 v4_qc_lang2 r1_qc_lang2 r2_qc_lang2 r3_qc_lang2 v1_cqc_lang p1_s1_cqc_lang v1_realset1 m4_realset1 r1_realset1 m1_realset1 r2_realset1 m2_realset1 m3_realset1 v1_card_4 p1_s1_card_4 p1_s2_card_4 p1_s3_card_4 v1_rfinseq r1_rfinseq l1_struct_0 v1_struct_0 l2_struct_0 v2_struct_0 v3_struct_0 m1_struct_0 l1_cat_1 v1_cat_1 v2_cat_1 m1_cat_1 v3_cat_1 v4_cat_1 v5_cat_1 v6_cat_1 v7_cat_1 r1_cat_1 m2_cat_1 v8_cat_1 v9_cat_1 v10_cat_1 l1_lattices v1_lattices l2_lattices v2_lattices l3_lattices v3_lattices v10_lattices v4_lattices v5_lattices v6_lattices v7_lattices v8_lattices v9_lattices v11_lattices v12_lattices v13_lattices v14_lattices v15_lattices v16_lattices v17_lattices r1_lattices r2_lattices r3_lattices l1_pre_topc v1_pre_topc v2_pre_topc m1_pre_topc v4_pre_topc v3_pre_topc r1_pre_topc v5_pre_topc v1_tops_1 v2_tops_1 v3_tops_1 v4_tops_1 v5_tops_1 v6_tops_1 l1_rlvect_1 v1_rlvect_1 l2_rlvect_1 v2_rlvect_1 v3_rlvect_1 v4_rlvect_1 v5_rlvect_1 v6_rlvect_1 v7_rlvect_1 r1_rlvect_1 v8_rlvect_1 l1_group_1 v1_group_1 v3_group_1 v2_group_1 v4_group_1 v7_group_1 r1_finseqop v1_finseqop v5_group_1 r1_nat_1 v6_group_1 l1_vectsp_1 v1_vectsp_1 l2_vectsp_1 v2_vectsp_1 l3_vectsp_1 v3_vectsp_1 v6_vectsp_1 v7_vectsp_1 v8_vectsp_1 v9_vectsp_1 v10_vectsp_1 v4_vectsp_1 v5_vectsp_1 l4_vectsp_1 v11_vectsp_1 v12_vectsp_1 v13_vectsp_1 v1_realset2 v2_realset2 v3_realset2 v4_realset2 m3_cat_2 m1_cat_2 r1_cat_2 m2_cat_2 v3_filter_0 m1_filter_0 v1_filter_0 v2_filter_0 r1_filter_0 v1_lattice2 r1_lattice2 m1_filter_1 m2_filter_1 r1_filter_1 r4_wellord1 p1_s1_filter_1 p1_s2_filter_1 p1_s3_filter_1 p1_s4_filter_1 p1_s5_filter_1 p1_s6_filter_1 v1_borsuk_1 m1_borsuk_1 v2_borsuk_1 m1_connsp_2 m2_connsp_2 v6_compts_1 v1_tops_2 r1_compts_1 v3_borsuk_1 r1_borsuk_1 r2_borsuk_1 v1_midsp_2 v1_algstr_1 v2_algstr_1 v3_algstr_1 v4_algstr_1 v5_algstr_1 v6_algstr_1 l1_grcat_1 v2_grcat_1 v3_grcat_1 m1_grcat_1 v4_grcat_1 v5_grcat_1 m5_grcat_1 m4_grcat_1 v1_grcat_1 m3_grcat_1 r1_grcat_1 m2_grcat_1 p1_s1_grcat_1 p1_s2_grcat_1 m6_grcat_1 m7_grcat_1 v1_group_3 m1_group_2 v1_group_6 m1_group_6 r1_group_2 v2_group_6 v3_group_6 v4_group_6 r1_group_6 r2_group_6 m2_lattice4 m1_lattice4 v1_lattice4 v2_lattice4 v3_lattice4 r1_lattice4 r2_lattice4 r3_lattice4 r4_lattice4 m3_lattice4 ren1 ren2 ren3 ren4 ren5 ren6 ren7 ren8 ren9 ren10 ren11 ren12 ren13 ren14 ren15 ren16 ren17 ren18 ren19 ren20 ren21 ren22 ren23 ren24 ren25 ren26 ren27 ren28 ren29 ren30 ren31 ren32 ren33 ren34 ren35 ren36 ren37 ren38 ren39 ren40 ren41 ren42 ren43 ren44 ren45 ren46 ren47 ren48 ren49 ren50 ren51 ren52 ren53 ren54 ren55 ren56 ren57 ren58 ren59 ren60 ren61 ren62 ren63 ren64 ren65 ren66 ren67 ren68 ren69 ren70 ren71 ren72 ren73 ren74 ren75 ren76 ren77 ren78 ren79 ren80 ren81 ren82 ren83 ren84 ren85 ren86 ren87 ren88 ren89 ren90 ren91 ren92 ren93 ren94 ren95 ren96 ren97 ren98 ren99 ren100 ren101 ren102 ren103 ren104 ren105 ren106 ren107 ren108 ren109 ren110 ren111 ren112 ren113 ren114 ren115 ren116 ren117 ren118 ren119 ren120 ren121 ren122 ren123 ren124 ren125 ren126 ren127 ren128 ren129 ren130 ren131 ren132 ren133 ren134 ren135 ren136 ren137 ren138 ren139 ren140 ren141 ren142 ren143 ren144 ren145 ren146 ren147 ren148 ren149 ren150 ren151 ren152 ren153 ren154 ren155 ren156 ren157 ren158 ren159 ren160 ren161 ren162 ren163 ren164 ren165 ren166 ren167 ren168 ren169 ren170 ren171 ren172 ren173 ren174 ren175 ren176 ren177 ren178 ren179 ren180 ren181 ren182 ren183 ren184 ren185 ren186 ren187 ren188 ren189 ren190 ren191 ren192 ren193 ren194 ren195 ren196 ren197 ren198 ren199 ren200 ren201 ren202 ren203 ren204 ren205 ren206 ren207 ren208 ren209 ren210 ren211 ren212 ren213 ren214 ren215 ren216 ren217 ren218 ren219 ren220 ren221 ren222 ren223 ren224 ren225 ren226 ren227 ren228 ren229 ren230 ren231 ren232 ren233 ren234 ren235 ren236 ren237 ren238 ren239 ren240 ren241 ren242 ren243 ren244 ren245 ren246 ren247 ren248 ren249 ren250 ren251 ren252 ren253 ren254 ren255 ren256 ren257 ren258 ren259 ren260 ren261 ren262 ren263 ren264 ren265 ren266 ren267 ren268 ren269 ren270 ren271 ren272 ren273 ren274 ren275 ren276 ren277 ren278 ren279 ren280 ren281 ren282 ren283 ren284 ren285 ren286 ren287 ren288 ren289 ren290 ren291 ren292 ren293 ren294 ren295 ren296 ren297 ren298 ren299 ren300 ren301 ren302 ren303 ren304 ren305 ren306 ren307 ren308 ren309 ren310 ren311 ren312 ren313 ren314 ren315 ren316 ren317 ren318 ren319 ren320 ren321 ren322 ren323 ren324 ren325 ren326 ren327 ren328 ren329 ren330 ren331 ren332 ren333 ren334 ren335 ren336 ren337 ren338 ren339 ren340 ren341 ren342 ren343 ren344 ren345 ren346 ren347 ren348 ren349 ren350 ren351 ren352 ren353 ren354 ren355 ren356 ren357 ren358 ren359 ren360 ren361 ren362 ren363 ren364 ren365 ren366 ren367 ren368 ren369 ren370 ren371 ren372 ren373 ren374 ren375 ren376 ren377 ren378 ren379 ren380 ren381 ren382 ren383 ren384 ren385 ren386 ren387 ren388 ren389 ren390 ren391 ren392 ren393 ren394 ren395 ren396 ren397 ren398 ren399 ren400 ren401 ren402 ren403 ren404 ren405 ren406 ren407 ren408 ren409 ren410 ren411 ren412 ren413 ren414 ren415 ren416 ren417 ren418 ren419 ren420 ren421 ren422 ren423 ren424 ren425 ren426 ren427 ren428 ren429 ren430 ren431 ren432 ren433 ren434 ren435 ren436 ren437 ren438 ren439 ren440 ren441 ren442 ren443 ren444 ren445 ren446 ren447 ren448 ren449 ren450 ren451 ren452 ren453 ren454 ren455 ren456 ren457 ren458 ren459 ren460 ren461 ren462 ren463 ren464 ren465 ren466 ren467 ren468 ren469 ren470 ren471 ren472 ren473 ren474 ren475 ren476 ren477 ren478 ren479 ren480 ren481 ren482 ren483 ren484 ren485 ren486 ren487 ren488 ren489 ren490 ren491 ren492 ren493 ren494 ren495 ren496 ren497 ren498 ren499 ren500 ren501 ren502 ren503 ren504 ren505 ren506 ren507 ren508 ren509 ren510 ren511 ren512 ren513 ren514 ren515 ren516 ren517 ren518 ren519 ren520 ren521 ren522 ren523 ren524 ren525 ren526 ren527 ren528 ren529 ren530 ren531 ren532 ren533 ren534 ren535 ren536 ren537 ren538 ren539 ren540 ren541 ren542 ren543 ren544 ren545 ren546 ren547 ren548 ren549 ren550 ren551 ren552 ren553 ren554 ren555 ren556 ren557 ren558 ren559 ren560 ren561 ren562 ren563 ren564 ren565 ren566 ren567 ren568 ren569 ren570 ren571 ren572 ren573 ren574 ren575 ren576 ren577 ren578 ren579 ren580 ren581 ren582 ren583 ren584 ren585 ren586 ren587 ren588 ren589 ren590 ren591 ren592 ren593 ren594 ren595 ren596 ren597 ren598 ren599 ren600 ren601 ren602 ren603 ren604 ren605 ren606 ren607 ren608 ren609 ren610 ren611 ren612 ren613 ren614 ren615 ren616 ren617 ren618 ren619 ren620 ren621 ren622 ren623 ren624 ren625 ren626 ren627 ren628 ren629 ren630 ren631 ren632 ren633 ren634 ren635 ren636 ren637 ren638 ren639 ren640 ren641 ren642 ren643 ren644 ren645 ren646 ren647 ren648 ren649 ren650 ren651 ren652 ren653 ren654 ren655 ren656 ren657 ren658 ren659 ren660 ren661 ren662 ren663 ren664 ren665 ren666 ren667 ren668 ren669 ren670 ren671 ren672 ren673 ren674 ren675 ren676 ren677 ren678 ren679 ren680 ren681 ren682 ren683 ren684 ren685 ren686 ren687 ren688 ren689 ren690 ren691 ren692 ren693 ren694 ren695 ren696 ren697 ren698 ren699 ren700 ren701 ren702 ren703 ren704 ren705 ren706 ren707 ren708 ren709 ren710 ren711 ren712 ren713 ren714 ren715 ren716 ren717 ren718 ren719 ren720 ren721 ren722 ren723 ren724 ren725 ren726 ren727 ren728 ren729 ren730 ren731 ren732 ren733 ren734 ren735 ren736 ren737 ren738 ren739 ren740 ren741 ren742 ren743 ren744 ren745 ren746 ren747 ren748 ren749 ren750 ren751 ren752 ren753 ren754 ren755 ren756 ren757 ren758 ren759 ren760 ren761 ren762 ren763 ren764 ren765 ren766 ren767 ren768 ren769 ren770 ren771 ren772 ren773 ren774 ren775 ren776 ren777 ren778 ren779 ren780 ren781 ren782 ren783 ren784 ren785 ren786 ren787 ren788 ren789 ren790 ren791 ren792 ren793 ren794 ren795 ren796 ren797 ren798 ren799 ren800 ren801 ren802 ren803 ren804 ren805 ren806 ren807 ren808 ren809 ren810 ren811 ren812 ren813 ren814 ren815 ren816 ren817 ren818 ren819 ren820 ren821 ren822 ren823 ren824 ren825 ren826 ren827 ren828 ren829 ren830 ren831 ren832 ren833 ren834 ren835 ren836 ren837 ren838 ren839 ren840 ren841 ren842 ren843 ren844 ren845 ren846 ren847 ren848 ren849 ren850 ren851 ren852 ren853 ren854 ren855 ren856 ren857 ren858 ren859 ren860 ren861 ren862 ren863 ren864 ren865 ren866 ren867 ren868 ren869 ren870 ren871 ren872 ren873 ren874 ren875 ren876 ren877 ren878 ren879 ren880 ren881 ren882 ren883 ren884 ren885 ren886 ren887 ren888 ren889 ren890 ren891 ren892 ren893 ren894 ren895 ren896 ren897 ren898 ren899 ren900 ren901 ren902 ren903 ren904 ren905 ren906 ren907 ren908 ren909 ren910 ren911 ren912 ren913 ren914 ren915 ren916 ren917 ren918 ren919 ren920 ren921 ren922 ren923 ren924 ren925 ren926 ren927 ren928 ren929 ren930 ren931 ren932 ren933 ren934 ren935 ren936 ren937 ren938 ren939 ren940 ren941 ren942 ren943 ren944 ren945 ren946 ren947 ren948 ren949 ren950 ren951 ren952 ren953 ren954 ren955 ren956 ren957 ren958 ren959 ren960 ren961 ren962 ren963 ren964 ren965 ren966 ren967 ren968 ren969 ren970 ren971 ren972 ren973 ren974 ren975 ren976 ren977 ren978 ren979 ren980 ren981 ren982 ren983 ren984 ren985 ren986 ren987 ren988 ren989 ren990 ren991 ren992 ren993 ren994 ren995 ren996 ren997 ren998 ren999 ren1000 ren1001 ren1002 ren1003 ren1004 ren1005 ren1006 ren1007 ren1008 ren1009 ren1010 ren1011 ren1012 ren1013 ren1014 ren1015 ren1016 ren1017 ren1018 ren1019 ren1020 ren1021 ren1022 ren1023 ren1024 ren1025 ren1026 ren1027 ren1028 ren1029 ren1030 ren1031 ren1032 ren1033 ren1034 ren1035 ren1036 ren1037 ren1038 ren1039 ren1040 ren1041 ren1042 ren1043 ren1044 ren1045 ren1046 ren1047 ren1048 ren1049 ren1050 ren1051 ren1052 ren1053 ren1054 ren1055 ren1056 ren1057 ren1058 ren1059 ren1060 ren1061 ren1062 ren1063 ren1064 ren1065 ren1066 ren1067 ren1068 ren1069 ren1070 ren1071 ren1072 ren1073 ren1074 ren1075 ren1076 ren1077 ren1078 ren1079 ren1080 ren1081 ren1082 ren1083 ren1084 ren1085 ren1086 ren1087 ren1088 ren1089 ren1090 ren1091 ren1092 ren1093 ren1094 ren1095 ren1096 ren1097 ren1098 ren1099 ren1100 ren1101 ren1102 ren1103 ren1104 ren1105 ren1106 ren1107 ren1108 ren1109 ren1110 ren1111 ren1112 ren1113 ren1114 ren1115 ren1116 ren1117 ren1118 ren1119 ren1120 ren1121 ren1122 ren1123 ren1124 ren1125 ren1126 ren1127 ren1128 ren1129 ren1130 ren1131 ren1132 ren1133 ren1134 ren1135 ren1136 ren1137 ren1138 ren1139 ren1140 ren1141 ren1142 ren1143 ren1144 ren1145 ren1146 ren1147 ren1148 ren1149 ren1150 ren1151 ren1152 ren1153 ren1154 ren1155 ren1156 ren1157 ren1158 ren1159 ren1160 ren1161 ren1162 ren1163 ren1164 ren1165 ren1166 ren1167 ren1168 ren1169 ren1170 ren1171 ren1172 ren1173 ren1174 ren1175 ren1176 ren1177 ren1178 ren1179 ren1180 ren1181 ren1182 ren1183 ren1184 ren1185 ren1186 ren1187 ren1188 ren1189 ren1190 ren1191 ren1192 ren1193 ren1194 ren1195 ren1196 ren1197 ren1198 ren1199 ren1200 ren1201 ren1202 ren1203 ren1204 ren1205 ren1206 ren1207 ren1208 ren1209 ren1210 ren1211 ren1212 ren1213 ren1214 ren1215 ren1216 ren1217 ren1218 ren1219 ren1220 ren1221 ren1222 ren1223 ren1224 ren1225 ren1226 ren1227 ren1228 ren1229 ren1230 ren1231 ren1232 ren1233 ren1234 ren1235 ren1236 ren1237 ren1238 ren1239 ren1240 ren1241 ren1242 ren1243 ren1244 ren1245 ren1246 ren1247 ren1248 ren1249 ren1250 ren1251 ren1252 ren1253 ren1254 ren1255 ren1256 ren1257 ren1258 ren1259 ren1260 ren1261 ren1262 ren1263 ren1264 ren1265 ren1266 ren1267 ren1268 ren1269 ren1270 ren1271 ren1272 ren1273 ren1274 ren1275 ren1276 ren1277 ren1278 ren1279 ren1280 ren1281 ren1282 ren1283 ren1284 ren1285 ren1286 ren1287 ren1288 ren1289 ren1290 ren1291 ren1292 ren1293 ren1294 ren1295 ren1296 ren1297 ren1298 ren1299 ren1300 ren1301 ren1302 ren1303 ren1304 ren1305 ren1306 ren1307 ren1308 ren1309 ren1310 ren1311 ren1312 ren1313 ren1314 ren1315 ren1316 ren1317 ren1318 ren1319 ren1320 ren1321 ren1322 ren1323 ren1324 ren1325 ren1326 ren1327 ren1328 ren1329 ren1330 ren1331 ren1332 ren1333 ren1334 ren1335 ren1336 ren1337 ren1338 ren1339 ren1340 ren1341 ren1342 ren1343 ren1344 ren1345 ren1346 ren1347 ren1348 ren1349 ren1350 ren1351 ren1352 ren1353 ren1354 ren1355 ren1356 ren1357 ren1358 ren1359 ren1360 ren1361 ren1362 ren1363 ren1364 ren1365 ren1366 ren1367 ren1368 ren1369 ren1370 ren1371 ren1372 ren1373 ren1374 ren1375 ren1376 ren1377 ren1378 ren1379 ren1380 ren1381 ren1382 ren1383 ren1384 ren1385 ren1386 ren1387 ren1388 ren1389 ren1390 ren1391 ren1392 ren1393 ren1394 ren1395 ren1396 ren1397 ren1398 ren1399 ren1400 ren1401 ren1402 ren1403 ren1404 ren1405 ren1406 ren1407 ren1408 ren1409 ren1410 ren1411 ren1412 ren1413 ren1414 ren1415 ren1416 ren1417 ren1418 ren1419 ren1420 ren1421 ren1422 ren1423 ren1424 ren1425 ren1426 ren1427 ren1428 ren1429 ren1430 ren1431 ren1432 ren1433 ren1434 ren1435 ren1436 ren1437 ren1438 ren1439 ren1440 ren1441 ren1442 ren1443 ren1444 ren1445 ren1446 ren1447 ren1448 ren1449 ren1450 ren1451 ren1452 ren1453 ren1454 ren1455 ren1456 ren1457 ren1458 ren1459 ren1460 ren1461 ren1462 ren1463 ren1464 ren1465 ren1466 ren1467 ren1468 ren1469 ren1470 ren1471 ren1472 ren1473 ren1474 ren1475 ren1476 ren1477 ren1478 ren1479 ren1480 ren1481 ren1482 ren1483 ren1484 ren1485 ren1486 ren1487 ren1488 ren1489 ren1490 ren1491 ren1492 ren1493 ren1494 ren1495 ren1496 ren1497 ren1498 ren1499 ren1500 ren1501 ren1502 ren1503 ren1504 ren1505 ren1506 ren1507 ren1508 ren1509 ren1510 ren1511 ren1512 ren1513 ren1514 ren1515 ren1516 ren1517 ren1518 ren1519 ren1520 ren1521 ren1522 ren1523 ren1524 ren1525 ren1526 ren1527 ren1528 ren1529 ren1530 ren1531 ren1532 ren1533 ren1534 ren1535 ren1536 ren1537 ren1538 ren1539 ren1540 ren1541 ren1542 ren1543 ren1544 ren1545 ren1546 ren1547 ren1548 ren1549 ren1550 ren1551 ren1552 ren1553 ren1554 ren1555 ren1556 ren1557 ren1558 ren1559 ren1560 ren1561 ren1562 ren1563 ren1564 ren1565 ren1566 ren1567 ren1568 ren1569 ren1570 ren1571 ren1572 ren1573 ren1574 ren1575 ren1576 ren1577 ren1578 ren1579 ren1580 ren1581 ren1582 ren1583 ren1584 ren1585 ren1586 ren1587 ren1588 ren1589 ren1590 ren1591 ren1592 ren1593 ren1594 ren1595 ren1596 ren1597 ren1598 ren1599 ren1600 ren1601 ren1602 ren1603 ren1604 ren1605 ren1606 ren1607 ren1608 ren1609 ren1610 ren1611 ren1612 ren1613 ren1614 ren1615 ren1616 ren1617 ren1618 ren1619 ren1620 ren1621 ren1622 ren1623 ren1624 ren1625 ren1626 ren1627 ren1628 ren1629 ren1630 ren1631 ren1632 ren1633 ren1634 ren1635 ren1636 ren1637 ren1638 ren1639 ren1640 ren1641 ren1642 ren1643 ren1644 ren1645 ren1646 ren1647 ren1648 ren1649 ren1650 ren1651 ren1652 ren1653 ren1654 ren1655 ren1656 ren1657 ren1658 ren1659 ren1660 ren1661 ren1662 ren1663 ren1664 ren1665 ren1666 ren1667 ren1668 ren1669 ren1670 ren1671 ren1672 ren1673 ren1674 ren1675 ren1676 ren1677 ren1678 ren1679 ren1680 ren1681 ren1682 ren1683 ren1684 ren1685 ren1686 ren1687 ren1688 ren1689 ren1690 ren1691 ren1692 ren1693 ren1694 ren1695 ren1696 ren1697 ren1698 ren1699 ren1700 ren1701 ren1702 ren1703 ren1704 ren1705 ren1706 ren1707 ren1708 ren1709 ren1710 ren1711 ren1712 ren1713 ren1714 ren1715 ren1716 ren1717 ren1718 ren1719 ren1720 ren1721 ren1722 ren1723 ren1724 ren1725 ren1726 ren1727 ren1728 ren1729 ren1730 ren1731 ren1732 ren1733 ren1734 ren1735 ren1736 ren1737 ren1738 ren1739 ren1740 ren1741 ren1742 ren1743 ren1744 ren1745 ren1746 ren1747 ren1748 ren1749 ren1750 ren1751 ren1752 ren1753 ren1754 ren1755 ren1756 ren1757 ren1758 ren1759 ren1760 ren1761 ren1762 ren1763 ren1764 ren1765 ren1766 ren1767 ren1768 ren1769 ren1770 ren1771 ren1772 ren1773 ren1774 ren1775 ren1776 ren1777 ren1778 ren1779 ren1780 ren1781 ren1782 ren1783 ren1784 ren1785 ren1786 ren1787 ren1788 ren1789 ren1790 ren1791 ren1792 ren1793 ren1794 ren1795 ren1796 ren1797 ren1798 ren1799 ren1800 ren1801 ren1802 ren1803 ren1804 ren1805 ren1806 ren1807 ren1808 ren1809 ren1810 ren1811 ren1812 ren1813 ren1814 ren1815 ren1816 ren1817 ren1818 ren1819 ren1820 ren1821 ren1822 ren1823 ren1824 ren1825 ren1826 ren1827 ren1828 ren1829 ren1830 ren1831 ren1832 ren1833 ren1834 ren1835 ren1836 ren1837 ren1838 ren1839 ren1840 ren1841 ren1842 ren1843 ren1844 ren1845 ren1846 ren1847 ren1848 ren1849 ren1850 ren1851 ren1852 ren1853 ren1854 ren1855 ren1856 ren1857 ren1858 ren1859 ren1860 ren1861 ren1862 ren1863 ren1864 ren1865 ren1866 ren1867 ren1868 ren1869 ren1870 ren1871 ren1872 ren1873 ren1874 ren1875 ren1876 ren1877 ren1878 ren1879 ren1880 ren1881 ren1882 ren1883 ren1884 ren1885 ren1886 ren1887 ren1888 ren1889 ren1890 ren1891 ren1892 ren1893 ren1894 ren1895 ren1896 ren1897 ren1898 ren1899 ren1900 ren1901 ren1902 ren1903 ren1904 ren1905 ren1906 ren1907 ren1908 ren1909 ren1910 ren1911 ren1912 ren1913 ren1914 ren1915 ren1916 ren1917 ren1918 ren1919 ren1920 ren1921 ren1922 ren1923 ren1924 ren1925 ren1926 ren1927 ren1928 ren1929 ren1930 ren1931 ren1932 ren1933 ren1934 ren1935 ren1936 ren1937 ren1938 ren1939 ren1940 ren1941 ren1942 ren1943 ren1944 ren1945 ren1946 ren1947 ren1948 ren1949 ren1950 ren1951 ren1952 ren1953 ren1954 ren1955 ren1956 ren1957 ren1958 ren1959 ren1960 ren1961 ren1962 ren1963 ren1964 ren1965 ren1966 ren1967 ren1968 ren1969 ren1970 ren1971 ren1972 ren1973 ren1974 ren1975 ren1976 ren1977 ren1978 ren1979 ren1980 ren1981 ren1982 ren1983 ren1984 ren1985 ren1986 ren1987 ren1988 ren1989 ren1990 ren1991 ren1992 ren1993 ren1994 ren1995 ren1996 ren1997 ren1998 ren1999 ren2000 ren2001 ren2002 ren2003 ren2004 ren2005 ren2006 ren2007 ren2008 ren2009 ren2010 ren2011 ren2012 ren2013 ren2014 ren2015 ren2016 ren2017 ren2018 ren2019 ren2020 ren2021 ren2022 ren2023 ren2024 ren2025 ren2026 ren2027 ren2028 ren2029 ren2030 ren2031 ren2032 ren2033 ren2034 ren2035 ren2036 ren2037 ren2038 ren2039 ren2040 ren2041 ren2042 ren2043 ren2044 ren2045 ren2046 ren2047 ren2048 ren2049 ren2050 ren2051 ren2052 ren2053 ren2054 ren2055 ren2056 ren2057 ren2058 ren2059 ren2060 ren2061 ren2062 ren2063 ren2064 ren2065 ren2066 ren2067 ren2068 ren2069 ren2070 ren2071 ren2072 ren2073 ren2074 ren2075 ren2076 ren2077 ren2078 ren2079 ren2080 ren2081 ren2082 ren2083 ren2084 ren2085 ren2086 ren2087 ren2088 ren2089 ren2090 ren2091 ren2092 ren2093 ren2094 ren2095 ren2096 ren2097 ren2098 ren2099 ren2100 ren2101 ren2102 ren2103 ren2104 ren2105 ren2106 ren2107 ren2108 ren2109 ren2110 ren2111 ren2112 ren2113 ren2114 ren2115 ren2116 ren2117 ren2118 ren2119 ren2120 ren2121 ren2122 ren2123 ren2124 ren2125 ren2126 ren2127 ren2128 ren2129 ren2130 ren2131 ren2132 ren2133 ren2134 ren2135 ren2136 ren2137 ren2138 ren2139 ren2140 ren2141 ren2142 ren2143 ren2144 ren2145 ren2146 ren2147 ren2148 ren2149 ren2150 ren2151 ren2152 ren2153 ren2154 ren2155 ren2156 ren2157 ren2158 ren2159 ren2160 ren2161 ren2162 ren2163 ren2164 ren2165 ren2166 ren2167 ren2168 ren2169 ren2170 ren2171 ren2172 ren2173 ren2174 ren2175 ren2176 ren2177 ren2178 ren2179 ren2180 ren2181 ren2182 ren2183 ren2184 ren2185 ren2186 ren2187 ren2188 ren2189 ren2190 ren2191 ren2192 ren2193 ren2194 ren2195 ren2196 ren2197 ren2198 ren2199 ren2200 ren2201 ren2202 ren2203 ren2204 ren2205 ren2206 ren2207 ren2208 ren2209 ren2210 ren2211 ren2212 ren2213 ren2214 ren2215 ren2216 ren2217 ren2218 ren2219 ren2220 ren2221 ren2222 ren2223 ren2224 ren2225 ren2226 ren2227 ren2228 ren2229 ren2230 ren2231 ren2232 ren2233 ren2234 ren2235 ren2236 ren2237 ren2238 ren2239 ren2240 ren2241 ren2242 ren2243 ren2244 ren2245 ren2246 ren2247 ren2248 ren2249 ren2250 ren2251 ren2252 ren2253 ren2254 ren2255 ren2256 ren2257 ren2258 ren2259 ren2260 ren2261 ren2262 ren2263 ren2264 ren2265 ren2266 ren2267 ren2268 ren2269 ren2270 ren2271 ren2272 ren2273 ren2274 ren2275 ren2276 ren2277 ren2278 ren2279 ren2280 ren2281 ren2282 ren2283 ren2284 ren2285 ren2286 ren2287 ren2288 ren2289 ren2290 ren2291 ren2292 ren2293 ren2294 ren2295 ren2296 ren2297 ren2298 ren2299 ren2300 ren2301 ren2302 ren2303 ren2304 ren2305 ren2306 ren2307 ren2308 ren2309 ren2310 ren2311 ren2312 ren2313 ren2314 ren2315 ren2316 ren2317 ren2318 ren2319 ren2320 ren2321 ren2322 ren2323 ren2324 ren2325 ren2326 ren2327 ren2328 ren2329 ren2330 ren2331 ren2332 ren2333 ren2334 ren2335 ren2336 ren2337 ren2338 ren2339 ren2340 ren2341 ren2342 ren2343 ren2344 ren2345 ren2346 ren2347 ren2348 ren2349 ren2350 ren2351 ren2352 ren2353 ren2354 ren2355 ren2356 ren2357 ren2358 ren2359 ren2360 ren2361 ren2362 ren2363 ren2364 ren2365 ren2366 ren2367 ren2368 ren2369 ren2370 ren2371 ren2372 ren2373 ren2374 ren2375 ren2376 ren2377 ren2378 ren2379 ren2380 ren2381 ren2382 ren2383 ren2384 ren2385 ren2386 ren2387 ren2388 ren2389 ren2390 ren2391 ren2392 ren2393 ren2394 ren2395 ren2396 ren2397 ren2398 ren2399 ren2400 ren2401 ren2402 ren2403 ren2404 ren2405 ren2406 ren2407 ren2408 ren2409 ren2410 ren2411 ren2412 ren2413 ren2414 ren2415 ren2416 ren2417 ren2418 ren2419 ren2420 ren2421 ren2422 ren2423 ren2424 ren2425 ren2426 ren2427 ren2428 ren2429 ren2430 ren2431 ren2432 ren2433 ren2434 ren2435 ren2436 ren2437 ren2438 ren2439 ren2440 ren2441 ren2442 ren2443 ren2444 ren2445 ren2446 ren2447 ren2448 ren2449 ren2450 ren2451 ren2452 ren2453 ren2454 ren2455 ren2456 ren2457 ren2458 ren2459 ren2460 ren2461 ren2462 ren2463 ren2464 ren2465 ren2466 ren2467 ren2468 ren2469 ren2470 ren2471 ren2472 ren2473 ren2474 ren2475 ren2476 ren2477 ren2478 ren2479 ren2480 ren2481 ren2482 ren2483 ren2484 ren2485 ren2486 ren2487 ren2488 ren2489 ren2490 ren2491 ren2492 ren2493 ren2494 ren2495 ren2496 ren2497 ren2498 ren2499 ren2500 ren2501 ren2502 ren2503 ren2504 ren2505 ren2506 ren2507 ren2508 ren2509 ren2510 ren2511 ren2512 ren2513 ren2514 ren2515 ren2516 ren2517 ren2518 ren2519 ren2520 ren2521 ren2522 ren2523 ren2524 ren2525 ren2526 ren2527 ren2528 ren2529 ren2530 ren2531 ren2532 ren2533 ren2534 ren2535 ren2536 ren2537 ren2538 ren2539 ren2540 ren2541 ren2542 ren2543 ren2544 ren2545 ren2546 ren2547 ren2548 ren2549 ren2550 ren2551 ren2552 ren2553 ren2554 ren2555 ren2556 ren2557 ren2558 ren2559 ren2560 ren2561 ren2562 ren2563 ren2564 ren2565 ren2566 ren2567 ren2568 ren2569 ren2570 ren2571 ren2572 ren2573 ren2574 ren2575 ren2576 ren2577 ren2578 ren2579 ren2580 ren2581 ren2582 ren2583 ren2584 ren2585 ren2586 ren2587 ren2588 ren2589 ren2590 ren2591 ren2592 ren2593 ren2594 ren2595 ren2596 ren2597 ren2598 ren2599 ren2600 ren2601 ren2602 ren2603 ren2604 ren2605 ren2606 ren2607 ren2608 ren2609 ren2610 ren2611 ren2612 ren2613 ren2614 ren2615 ren2616 ren2617 ren2618 ren2619 ren2620 ren2621 ren2622 ren2623 ren2624 ren2625 ren2626 ren2627 ren2628 ren2629 ren2630 ren2631 ren2632 ren2633 ren2634 ren2635 ren2636 ren2637 ren2638 ren2639 ren2640 ren2641 ren2642 ren2643 ren2644 ren2645 ren2646 ren2647 ren2648 ren2649 ren2650 ren2651 ren2652 ren2653 ren2654 ren2655 ren2656 ren2657 ren2658 ren2659 ren2660 ren2661 ren2662 ren2663 ren2664 ren2665 ren2666 ren2667 ren2668 ren2669 ren2670 ren2671 ren2672 ren2673 ren2674 ren2675 ren2676 ren2677 ren2678 ren2679 ren2680 ren2681 ren2682 ren2683 ren2684 ren2685 ren2686 ren2687 ren2688 ren2689 ren2690 ren2691 ren2692 ren2693 ren2694 ren2695 ren2696 ren2697 ren2698 ren2699 ren2700 ren2701 ren2702 ren2703 ren2704 ren2705 ren2706 ren2707 ren2708 ren2709 ren2710 ren2711 ren2712 ren2713 ren2714 ren2715 ren2716 ren2717 ren2718 ren2719 ren2720 ren2721 ren2722 ren2723 ren2724 ren2725 ren2726 ren2727 ren2728 ren2729 ren2730 ren2731 ren2732 ren2733 ren2734 ren2735 ren2736 ren2737 ren2738 ren2739 ren2740 ren2741 ren2742 ren2743 ren2744 ren2745 ren2746 ren2747 ren2748 ren2749 ren2750 ren2751 ren2752 ren2753 ren2754 ren2755 ren2756 ren2757 ren2758 ren2759 ren2760 ren2761 ren2762 ren2763 ren2764 ren2765 ren2766 ren2767 ren2768 ren2769 ren2770 ren2771 ren2772 ren2773 ren2774 ren2775 ren2776 ren2777 ren2778 ren2779 ren2780 ren2781 ren2782 ren2783 ren2784 ren2785 ren2786 ren2787 ren2788 ren2789 ren2790 ren2791 ren2792 ren2793 ren2794 ren2795 ren2796 ren2797 ren2798 ren2799 ren2800 ren2801 ren2802 ren2803 ren2804 ren2805 ren2806 ren2807 ren2808 ren2809 ren2810 ren2811 ren2812 ren2813 ren2814 ren2815 ren2816 ren2817 ren2818 ren2819 ren2820 ren2821 ren2822 ren2823 ren2824 ren2825 ren2826 ren2827 ren2828 ren2829 ren2830 ren2831 ren2832 ren2833 ren2834 ren2835 ren2836 ren2837 ren2838 ren2839 ren2840 ren2841 ren2842 ren2843 ren2844 ren2845 ren2846 ren2847 ren2848 ren2849 ren2850 ren2851 ren2852 ren2853 ren2854 ren2855 ren2856 ren2857 ren2858 ren2859 ren2860 ren2861 ren2862 ren2863 ren2864 ren2865 ren2866 ren2867 ren2868 ren2869 ren2870 ren2871 ren2872 ren2873 ren2874 ren2875 ren2876 ren2877 ren2878 ren2879 ren2880 ren2881 ren2882 ren2883 ren2884 ren2885 ren2886 ren2887 ren2888 ren2889 ren2890 ren2891 ren2892 ren2893 ren2894 ren2895 ren2896 ren2897 ren2898 ren2899 ren2900 ren2901 ren2902 ren2903 ren2904 ren2905 ren2906 ren2907 ren2908 ren2909 ren2910 ren2911 ren2912 ren2913 ren2914 ren2915 ren2916 ren2917 ren2918 ren2919 ren2920 ren2921 ren2922 ren2923 ren2924 ren2925 ren2926 ren2927 ren2928 ren2929 ren2930 ren2931 ren2932 ren2933 ren2934 ren2935 ren2936 ren2937 ren2938 ren2939 ren2940 ren2941 ren2942 ren2943 ren2944 ren2945 ren2946 ren2947 ren2948 ren2949 ren2950 ren2951 ren2952 ren2953 ren2954 ren2955 ren2956 ren2957 ren2958 ren2959 ren2960 ren2961 ren2962 ren2963 ren2964 ren2965 ren2966 ren2967 ren2968 ren2969 ren2970 ren2971 ren2972 ren2973 ren2974 ren2975 ren2976 ren2977 ren2978 ren2979 ren2980 ren2981 ren2982 ren2983 ren2984 ren2985 ren2986 ren2987 ren2988 ren2989 ren2990 ren2991 ren2992 ren2993 ren2994 ren2995 ren2996 ren2997 ren2998 ren2999 ren3000 ren3001 ren3002 ren3003 ren3004 ren3005 ren3006 ren3007 ren3008 ren3009 ren3010 ren3011 ren3012 ren3013 ren3014 ren3015 ren3016 ren3017 ren3018 ren3019 ren3020 ren3021 ren3022 ren3023 ren3024 ren3025 ren3026 ren3027 ren3028 ren3029 ren3030 ren3031 ren3032 ren3033 ren3034 ren3035 ren3036 ren3037 ren3038 ren3039 ren3040 ren3041 ren3042 ren3043 ren3044 ren3045 ren3046 ren3047 ren3048 ren3049 ren3050 ren3051 ren3052 ren3053 ren3054 ren3055 ren3056 ren3057 ren3058 ren3059 ren3060 ren3061 ren3062 ren3063 ren3064 ren3065 ren3066 ren3067 ren3068 ren3069 ren3070 ren3071 ren3072 ren3073 ren3074 ren3075 ren3076 ren3077 ren3078 ren3079 ren3080 ren3081 ren3082 ren3083 ren3084 ren3085 ren3086 ren3087 ren3088 ren3089 ren3090 ren3091 ren3092 ren3093 ren3094 ren3095 ren3096 ren3097 ren3098 ren3099 ren3100 ren3101 ren3102 ren3103 ren3104 ren3105 ren3106 ren3107 ren3108 ren3109 ren3110 ren3111 ren3112 ren3113 ren3114 ren3115 ren3116 ren3117 ren3118 ren3119 ren3120 ren3121 ren3122 ren3123 ren3124 ren3125 ren3126 ren3127 ren3128 ren3129 ren3130 ren3131 ren3132 ren3133 ren3134 ren3135 ren3136 ren3137 ren3138 ren3139 ren3140 ren3141 ren3142 ren3143 ren3144 ren3145 ren3146 ren3147 ren3148 ren3149 ren3150 ren3151 ren3152 ren3153 ren3154 ren3155 ren3156 ren3157 ren3158 ren3159 ren3160 ren3161 ren3162 ren3163 ren3164 ren3165 ren3166 ren3167 ren3168 ren3169 ren3170 ren3171 ren3172 ren3173 ren3174 ren3175 ren3176 ren3177 ren3178 ren3179 ren3180 ren3181 ren3182 ren3183 ren3184 ren3185 ren3186 ren3187 ren3188 ren3189 ren3190 ren3191 ren3192 ren3193 ren3194 ren3195 ren3196 ren3197 ren3198 ren3199 ren3200 ren3201 ren3202 ren3203 ren3204 ren3205 ren3206 ren3207 ren3208 ren3209 ren3210 ren3211 ren3212 ren3213 ren3214 ren3215 ren3216 ren3217 ren3218 ren3219 ren3220 ren3221 ren3222 ren3223 ren3224 ren3225 ren3226 ren3227 ren3228 ren3229 ren3230 ren3231 ren3232 ren3233 ren3234 ren3235 ren3236 ren3237 ren3238 ren3239 ren3240 ren3241 ren3242 ren3243 ren3244 ren3245 ren3246 ren3247 ren3248 ren3249 ren3250 ren3251 ren3252 ren3253 ren3254 ren3255 ren3256 ren3257 ren3258 ren3259 ren3260 ren3261 ren3262 ren3263 ren3264 ren3265 ren3266 ren3267 ren3268 ren3269 ren3270 ren3271 ren3272 ren3273 ren3274 ren3275 ren3276 ren3277 ren3278 ren3279 ren3280 ren3281 ren3282 ren3283 ren3284 ren3285 ren3286 ren3287 ren3288 ren3289 ren3290 ren3291 ren3292 ren3293 ren3294 ren3295 ren3296 ren3297 ren3298 ren3299 ren3300 ren3301 ren3302 ren3303 ren3304 ren3305 ren3306 ren3307 ren3308 ren3309 ren3310 ren3311 ren3312 ren3313 ren3314 ren3315 ren3316 ren3317 ren3318 ren3319 ren3320 ren3321 ren3322 ren3323 ren3324 ren3325 ren3326 ren3327 ren3328 ren3329 ren3330 ren3331 ren3332 ren3333 ren3334 ren3335 ren3336 ren3337 ren3338 ren3339 ren3340 ren3341 ren3342 ren3343 ren3344 ren3345 ren3346 ren3347 ren3348 ren3349 ren3350 ren3351 ren3352 ren3353 ren3354 ren3355 ren3356 ren3357 ren3358 ren3359 ren3360 ren3361 ren3362 ren3363 ren3364 ren3365 ren3366 ren3367 ren3368 ren3369 ren3370 ren3371 ren3372 ren3373 ren3374 ren3375 ren3376 ren3377 ren3378 ren3379 ren3380 ren3381 ren3382 ren3383 ren3384 ren3385 ren3386 ren3387 ren3388 ren3389 ren3390 ren3391 ren3392 ren3393 ren3394 ren3395 ren3396 ren3397 ren3398 ren3399 ren3400 ren3401 ren3402 ren3403 ren3404 ren3405 ren3406 ren3407 ren3408 ren3409 ren3410 ren3411 ren3412 ren3413 ren3414 ren3415 ren3416 ren3417 ren3418 ren3419 ren3420 ren3421 ren3422 ren3423 ren3424 ren3425 ren3426 ren3427 ren3428 ren3429 ren3430 ren3431 ren3432 ren3433 ren3434 ren3435 ren3436 ren3437 ren3438 ren3439 ren3440 ren3441 ren3442 ren3443 ren3444 ren3445 ren3446 ren3447 ren3448 ren3449 ren3450 ren3451 ren3452 ren3453 ren3454 ren3455 ren3456 ren3457 ren3458 ren3459 ren3460 ren3461 ren3462 ren3463 ren3464 ren3465 ren3466 ren3467 ren3468 ren3469 ren3470 ren3471 ren3472 ren3473 ren3474 ren3475 ren3476 ren3477 ren3478 ren3479 ren3480 ren3481 ren3482 ren3483 ren3484 ren3485 ren3486 ren3487 ren3488 % 1.64/1.03 Fol Constants: f1_s1_tarski k1_xboole_0 f1_s1_xboole_0 f1_s2_xboole_0 f2_s2_xboole_0 f1_s1_subset_1 f1_s2_subset_1 f1_s3_subset_1 f1_s4_subset_1 f2_s4_subset_1 f3_s4_subset_1 f1_s1_relat_1 f2_s1_relat_1 f1_s1_funct_1 f1_s2_funct_1 f1_s3_funct_1 f1_s4_funct_1 f3_s3_ordinal1 f1_s3_ordinal1 f4_s3_ordinal1 f1_s4_ordinal1 f1_s5_ordinal1 f1_s1_relset_1 f2_s1_relset_1 f1_s2_relset_1 f2_s2_relset_1 f1_s1_partfun1 f1_s2_partfun1 f2_s2_partfun1 f2_s3_partfun1 f1_s3_partfun1 f1_s4_partfun1 f2_s4_partfun1 f3_s4_partfun1 f3_s5_partfun1 f1_s5_partfun1 f2_s5_partfun1 f1_s1_funct_2 f2_s1_funct_2 f1_s2_funct_2 f2_s2_funct_2 f1_s3_funct_2 f2_s3_funct_2 f1_s4_funct_2 f2_s4_funct_2 f1_s5_funct_2 f2_s5_funct_2 f3_s5_funct_2 f1_s6_funct_2 f2_s6_funct_2 f3_s6_funct_2 f1_s7_funct_2 f2_s7_funct_2 f3_s7_funct_2 f1_s8_funct_2 f2_s8_funct_2 f3_s8_funct_2 f1_s9_funct_2 f2_s9_funct_2 f1_s10_funct_2 f2_s10_funct_2 f3_s10_funct_2 f4_s10_funct_2 f3_s11_funct_2 f4_s11_funct_2 f1_s11_funct_2 f2_s11_funct_2 f5_s11_funct_2 f6_s11_funct_2 f1_s12_funct_2 f2_s12_funct_2 f1_s13_funct_2 f2_s13_funct_2 f1_s14_funct_2 f2_s14_funct_2 np__1 np__0 f1_s1_funct_3 f2_s1_funct_3 f1_s2_funct_3 f2_s2_funct_3 f1_s1_binop_1 f1_s2_binop_1 k5_ordinal2 k4_ordinal2 f1_s2_ordinal2 f1_s3_ordinal2 f5_s4_ordinal2 f1_s4_ordinal2 f2_s4_ordinal2 f6_s4_ordinal2 f1_s5_ordinal2 f2_s5_ordinal2 f4_s6_ordinal2 f1_s6_ordinal2 f3_s6_ordinal2 f1_s7_ordinal2 f2_s7_ordinal2 f2_s8_ordinal2 f1_s9_ordinal2 f4_s10_ordinal2 f2_s10_ordinal2 f1_s10_ordinal2 f1_s11_ordinal2 f2_s11_ordinal2 f4_s12_ordinal2 f1_s12_ordinal2 f3_s12_ordinal2 f1_s13_ordinal2 f2_s13_ordinal2 f2_s14_ordinal2 f1_s15_ordinal2 f4_s16_ordinal2 f2_s16_ordinal2 f1_s16_ordinal2 f1_s1_finset_1 f1_s2_finset_1 f1_s1_setwiseo f2_s1_setwiseo f1_s2_setwiseo f1_s3_setwiseo f1_s4_setwiseo f1_s23_fraenkel f2_s23_fraenkel f1_s24_fraenkel f2_s24_fraenkel f3_s24_fraenkel f1_s26_fraenkel f3_s26_fraenkel f2_s26_fraenkel f1_s27_fraenkel f3_s27_fraenkel f2_s27_fraenkel f1_s1_fraenkel a_0_0_fraenkel a_0_1_fraenkel f1_s2_fraenkel f2_s2_fraenkel a_0_2_fraenkel a_0_3_fraenkel f1_s3_fraenkel a_0_4_fraenkel a_0_5_fraenkel f1_s4_fraenkel f2_s4_fraenkel a_0_6_fraenkel a_0_7_fraenkel f1_s5_fraenkel a_0_8_fraenkel a_0_9_fraenkel f1_s6_fraenkel a_0_10_fraenkel a_0_11_fraenkel f1_s7_fraenkel f2_s7_fraenkel a_0_12_fraenkel a_0_13_fraenkel f1_s8_fraenkel f2_s8_fraenkel a_0_14_fraenkel a_0_15_fraenkel f4_s9_fraenkel f3_s9_fraenkel f5_s9_fraenkel f1_s9_fraenkel a_0_16_fraenkel a_0_17_fraenkel a_0_18_fraenkel f1_s10_fraenkel a_0_19_fraenkel f1_s11_fraenkel f2_s11_fraenkel f1_s12_fraenkel f2_s12_fraenkel a_0_20_fraenkel a_0_21_fraenkel a_0_23_fraenkel a_0_24_fraenkel a_0_26_fraenkel a_0_27_fraenkel a_0_29_fraenkel f1_s16_fraenkel f2_s16_fraenkel a_0_30_fraenkel a_0_31_fraenkel a_0_32_fraenkel f2_s17_fraenkel a_0_33_fraenkel f2_s18_fraenkel f1_s19_fraenkel f2_s19_fraenkel f4_s19_fraenkel a_0_34_fraenkel a_0_35_fraenkel a_0_36_fraenkel a_0_37_fraenkel f2_s21_fraenkel a_0_38_fraenkel f3_s22_fraenkel f4_s22_fraenkel a_0_39_fraenkel f3_s25_fraenkel f4_s25_fraenkel f1_s25_fraenkel f2_s25_fraenkel a_0_40_fraenkel f2_s9_fraenkel f3_s13_fraenkel a_0_22_fraenkel f1_s13_fraenkel f2_s13_fraenkel f1_s14_fraenkel a_0_25_fraenkel f1_s15_fraenkel f2_s15_fraenkel a_0_28_fraenkel f1_s17_fraenkel f1_s18_fraenkel f1_s20_fraenkel f2_s20_fraenkel f4_s20_fraenkel f1_s21_fraenkel f1_s22_fraenkel f2_s22_fraenkel k1_numbers k2_numbers k3_numbers k4_numbers k2_arytm_2 k6_arytm_3 k5_numbers k13_arytm_3 a_0_0_numbers f1_s2_int_1 f1_s3_int_1 f1_s4_int_1 f1_s5_int_1 f1_s6_int_1 k27_binop_2 k29_binop_2 k33_binop_2 k35_binop_2 k39_binop_2 k41_binop_2 k44_binop_2 k46_binop_2 k47_binop_2 k48_binop_2 k25_binop_2 k26_binop_2 k28_binop_2 k30_binop_2 k31_binop_2 k32_binop_2 k34_binop_2 k36_binop_2 k37_binop_2 k38_binop_2 k40_binop_2 k42_binop_2 k43_binop_2 k45_binop_2 f1_s1_binop_2 f2_s1_binop_2 f1_s2_binop_2 np__2 np__3 f1_s1_finseq_1 f1_s2_finseq_1 f1_s4_finseq_1 f2_s5_finseq_1 f1_s5_finseq_1 f1_s1_eqrel_1 f1_s1_funct_5 k13_classes2 k14_classes2 k1_qc_lang1 k2_qc_lang1 k3_qc_lang1 k4_qc_lang1 k5_qc_lang1 np__4 np__5 np__6 np__7 k8_qc_lang1 k11_qc_lang1 f1_s3_qc_lang1 f2_s3_qc_lang1 a_0_0_qc_lang1 k1_qc_lang2 k7_cqc_lang k9_cqc_lang f1_s2_cqc_lang f2_s2_cqc_lang f1_s3_cqc_lang f2_s3_cqc_lang f4_s3_cqc_lang f3_s3_cqc_lang f1_s4_cqc_lang f2_s4_cqc_lang f3_s4_cqc_lang f1_s5_cqc_lang f3_s5_cqc_lang f1_s6_cqc_lang f2_s6_cqc_lang f5_s6_cqc_lang f6_s6_cqc_lang f7_s6_cqc_lang f1_s7_cqc_lang f3_s7_cqc_lang f6_s7_cqc_lang f1_s8_cqc_lang f3_s8_cqc_lang f7_s8_cqc_lang f8_s8_cqc_lang f1_s9_cqc_lang f3_s9_cqc_lang f8_s9_cqc_lang f9_s9_cqc_lang a_0_0_cqc_lang a_0_0_card_4 a_0_1_card_4 a_0_2_card_4 k1_vectsp_1 k3_vectsp_1 f1_s1_filter_1 f2_s1_filter_1 f1_s2_filter_1 f2_s2_filter_1 f1_s3_filter_1 f2_s3_filter_1 f1_s4_filter_1 f2_s4_filter_1 f1_s5_filter_1 f2_s5_filter_1 f1_s6_filter_1 f2_s6_filter_1 k22_borsuk_1 k8_metric_1 k23_borsuk_1 k24_borsuk_1 k2_algstr_1 k2_midsp_1 k7_vectsp_2 k8_vectsp_2 f1_s1_grcat_1 f2_s1_grcat_1 f3_s1_grcat_1 f1_s2_grcat_1 f2_s2_grcat_1 f3_s2_grcat_1 skc22 skc23 skc24 skc25 skc26 skc27 skc35 skc36 skc37 skc93 skc96 skc97 skc98 skc101 skc102 skc135 skc136 skc137 skc198 skc199 skc200 skc201 skc202 skc203 skc263 skc264 skc265 skc266 skc267 skc268 skc269 skc270 skc271 skc272 skc273 skc304 skc305 skc306 skc307 skc325 skc326 skc329 skc330 skc331 skc337 skc338 skc360 skc361 skc364 skc392 skc395 skc396 skc397 skc398 skc399 skc400 skc401 skc402 skc405 skc406 skc407 skc408 skc409 skc410 skc411 skc412 skc413 skc414 skc415 skc582 skc583 skc584 skc585 skc586 skc587 skc588 skc589 skc590 skc591 skc592 skc593 skc594 skc596 skc597 skc598 skc599 skc600 skc601 skc602 skc603 skc604 skc605 skc606 skc607 skc608 skc622 skc623 skc624 skc625 skc626 skc627 skc628 skc629 skc699 skc700 skc701 skc728 skc729 skc780 skc781 skc782 skc783 skc784 skc785 skc786 skc787 skc788 skc796 skc797 skc798 skc799 skc800 skc812 skc820 skc828 skc829 skc830 skc838 skc839 skc840 skc841 skc842 skc854 skc862 skc870 skc871 skc872 skc881 skc882 skc883 skc884 skc939 skc941 skc943 skc944 skc946 skc947 skc954 skc955 skc959 skc960 skc961 skc962 skc963 skc966 skc968 skc969 skc971 skc972 skc973 skc975 skc978 skc979 skc980 skc981 skc983 skc985 skc987 skc989 skc1051 skc1052 skc1053 skc1054 skc1061 skc1062 skc1072 skc1073 skc1074 skc1075 skc1076 skc1077 skc1078 skc1079 skc1151 skc1202 skc1203 skc1204 skc1205 skc1206 skc1207 skc1208 skc1226 skc1227 skc1228 skc1229 skc1231 skc1233 skc1234 skc1235 skc1236 skc1268 skc1269 skc1270 skc1271 skc1273 skc1274 skc1276 skc1277 skc1297 skc1298 skc1299 skc1300 skc1301 skc1302 skc1303 skc1329 skc1330 skc1382 skc1383 skc1384 skc1385 skc1386 skc1387 skc1435 skc1436 skc1447 skc1448 skc1459 skc1460 skc1473 skc1484 skc1495 skc1506 skc1517 skc1523 skc1524 skc1534 skc1571 skc1599 skc1600 skc1601 skc1602 skc1605 skc1606 skc1607 skc1608 skc1609 skc1703 skc1706 skc1707 skc1708 skc1709 skc1710 skc1711 skc1712 skc1713 skc1714 skc1715 skc1716 skc1717 skc1718 skc1771 skc1772 skc1773 skc1774 skc1775 skc1802 skc1825 skc1826 skc1827 skc1828 skc1829 skc1830 skc1880 skc1881 skc1882 skc1883 skc1884 skc1885 skc1924 skc1925 skc1926 skc1927 skc1928 skc1929 skc1930 skc1931 skc1932 skc1933 skc1934 skc1938 skc1939 skc1979 skc1980 skc1981 skc1983 skc1984 skc1985 skc1986 skc2072 skc2114 skc2115 skc2167 skc2169 skc2172 skc2174 skc2178 skc2184 skc2262 skc2263 skc2265 skc2267 skc2335 skc2336 skc2337 skc2339 skc2340 skc2348 skc2359 skc2447 % 1.64/1.03 Fol Functions: k1_tarski k2_tarski k3_tarski k4_tarski k2_xboole_0 k3_xboole_0 k4_xboole_0 k5_xboole_0 k1_enumset1 k2_enumset1 k3_enumset1 k4_enumset1 k5_enumset1 k6_enumset1 k1_zfmisc_1 k2_zfmisc_1 k3_zfmisc_1 k4_zfmisc_1 k1_subset_1 k2_subset_1 k3_subset_1 k4_subset_1 k5_subset_1 k6_subset_1 k7_subset_1 k8_subset_1 k7_setfam_1 k1_setfam_1 k2_setfam_1 k3_setfam_1 k4_setfam_1 k5_setfam_1 k6_setfam_1 k8_setfam_1 k1_relat_1 k2_relat_1 k5_relat_1 k4_relat_1 k7_relat_1 k3_relat_1 k6_relat_1 k8_relat_1 k9_relat_1 k10_relat_1 k1_funct_1 k2_funct_1 f2_s3_funct_1 f2_s4_funct_1 k1_ordinal1 k2_ordinal1 f2_s3_ordinal1 f2_s4_ordinal1 f2_s5_ordinal1 f3_s5_ordinal1 k4_relset_1 k5_relset_1 k6_relset_1 k8_relset_1 k9_relset_1 k10_relset_1 k11_relset_1 k7_relset_1 k1_relset_1 k2_relset_1 k3_relset_1 k4_partfun1 k3_partfun1 k1_partfun1 k2_partfun1 k5_partfun1 f2_s1_partfun1 f3_s1_partfun1 f3_s3_partfun1 f4_s5_partfun1 k6_partfun1 k1_mcart_1 k2_mcart_1 k3_mcart_1 k4_mcart_1 k5_mcart_1 k6_mcart_1 k7_mcart_1 k8_mcart_1 k9_mcart_1 k10_mcart_1 k11_mcart_1 k15_mcart_1 k16_mcart_1 k17_mcart_1 k18_mcart_1 k19_mcart_1 k20_mcart_1 k12_mcart_1 k13_mcart_1 k14_mcart_1 k1_funct_2 k2_funct_2 k3_funct_2 k4_funct_2 k5_funct_2 k6_funct_2 k9_funct_2 f3_s2_funct_2 k8_funct_2 f3_s4_funct_2 f4_s6_funct_2 f4_s8_funct_2 f3_s9_funct_2 f4_s9_funct_2 f5_s10_funct_2 f7_s11_funct_2 f3_s12_funct_2 f3_s13_funct_2 k7_funct_2 k1_funct_3 k3_funct_3 k4_funct_3 k6_funct_3 k7_funct_3 k8_funct_3 k11_funct_3 k13_funct_3 k9_funct_3 k10_funct_3 k14_funct_3 k15_funct_3 k12_funct_3 k16_funct_3 f3_s2_funct_3 k2_funct_3 k5_funct_3 k1_binop_1 k2_binop_1 k3_binop_1 f2_s2_binop_1 k4_funct_4 k2_funcop_1 k1_funct_4 k2_funct_4 k3_funct_4 k5_funct_4 k1_ordinal2 k2_ordinal2 k3_ordinal2 k6_ordinal2 k7_ordinal2 k8_ordinal2 k9_ordinal2 k10_ordinal2 k11_ordinal2 k12_ordinal2 k13_ordinal2 k14_ordinal2 k15_ordinal2 k16_ordinal2 f2_s2_ordinal2 f2_s3_ordinal2 f3_s4_ordinal2 f4_s4_ordinal2 f3_s5_ordinal2 f4_s5_ordinal2 f2_s6_ordinal2 f5_s6_ordinal2 f6_s6_ordinal2 f3_s7_ordinal2 f4_s7_ordinal2 f1_s8_ordinal2 f3_s8_ordinal2 f4_s8_ordinal2 f4_s9_ordinal2 f2_s9_ordinal2 f3_s9_ordinal2 f3_s10_ordinal2 f5_s10_ordinal2 f6_s10_ordinal2 f3_s11_ordinal2 f4_s11_ordinal2 f2_s12_ordinal2 f5_s12_ordinal2 f6_s12_ordinal2 f3_s13_ordinal2 f4_s13_ordinal2 f1_s14_ordinal2 f3_s14_ordinal2 f4_s14_ordinal2 f4_s15_ordinal2 f2_s15_ordinal2 f3_s15_ordinal2 f3_s16_ordinal2 f5_s16_ordinal2 f6_s16_ordinal2 f2_s1_finset_1 f3_s1_finset_1 k5_finsub_1 k1_finsub_1 k2_finsub_1 k3_finsub_1 k4_finsub_1 k1_setwiseo k7_setwiseo k2_setwiseo k6_setwiseo k5_setwiseo k3_setwiseo k4_setwiseo k8_funcop_1 k7_funcop_1 k8_setwiseo k9_setwiseo k10_setwiseo k11_setwiseo k1_fraenkel f4_s24_fraenkel f2_s5_fraenkel f3_s5_fraenkel f2_s6_fraenkel f3_s6_fraenkel f3_s7_fraenkel f4_s7_fraenkel f3_s8_fraenkel f3_s11_fraenkel f3_s12_fraenkel f3_s16_fraenkel f5_s25_fraenkel f2_s1_fraenkel f3_s2_fraenkel f2_s3_fraenkel f3_s4_fraenkel f4_s13_fraenkel f2_s14_fraenkel f3_s15_fraenkel f3_s17_fraenkel f3_s18_fraenkel f3_s19_fraenkel f3_s20_fraenkel f3_s21_fraenkel f5_s22_fraenkel k4_xcmplx_0 k5_xcmplx_0 k2_xcmplx_0 k3_xcmplx_0 k6_xcmplx_0 k7_xcmplx_0 k3_int_1 k1_real_1 k1_int_1 k2_int_1 k4_int_1 k5_int_1 k6_int_1 k1_binop_2 k2_binop_2 k3_binop_2 k4_binop_2 k5_binop_2 k6_binop_2 k7_binop_2 k8_binop_2 k9_binop_2 k10_binop_2 k11_binop_2 k12_binop_2 k13_binop_2 k14_binop_2 k15_binop_2 k16_binop_2 k17_binop_2 k18_binop_2 k19_binop_2 k20_binop_2 k21_binop_2 k22_binop_2 k23_binop_2 k24_binop_2 f3_s1_binop_2 f2_s2_binop_2 k3_card_1 k1_card_1 k2_wellord2 k2_card_1 k1_nat_1 k4_card_1 k1_finseq_1 k5_finseq_1 k10_finseq_1 k11_finseq_1 k13_finseq_1 k15_finseq_1 k7_finseq_1 k16_finseq_1 k2_finseq_1 k3_finseq_1 k4_finseq_1 k6_finseq_1 k9_finseq_1 k14_finseq_1 k17_finseq_1 f2_s2_finseq_1 k8_finseq_1 k12_finseq_1 a_1_0_finseq_1 k1_eqrel_1 k7_eqrel_1 k4_eqrel_1 k2_eqrel_1 k5_eqrel_1 k3_eqrel_1 k6_eqrel_1 k8_eqrel_1 k1_funct_5 k2_funct_5 k3_funct_5 k4_funct_5 k5_funct_5 k6_funct_5 f2_s1_funct_5 k1_classes1 k5_classes1 k4_classes1 k16_classes2 k3_card_3 k6_classes1 k15_classes2 k1_classes2 k2_classes2 k3_classes2 k4_classes2 k5_classes2 k6_classes2 k7_classes2 k8_classes2 k9_classes2 k10_classes2 k11_classes2 k12_classes2 k7_qc_lang1 k6_qc_lang1 k9_qc_lang1 k10_qc_lang1 k12_qc_lang1 k13_qc_lang1 k14_qc_lang1 k15_qc_lang1 k16_qc_lang1 k17_qc_lang1 k18_qc_lang1 k19_qc_lang1 k20_qc_lang1 k21_qc_lang1 k24_qc_lang1 f3_s3_qc_lang1 f4_s3_qc_lang1 f5_s3_qc_lang1 f6_s3_qc_lang1 k22_qc_lang1 k23_qc_lang1 a_1_0_qc_lang1 a_1_1_qc_lang1 a_1_2_qc_lang1 k2_qc_lang2 k3_qc_lang2 k4_qc_lang2 k5_qc_lang2 k6_qc_lang2 k7_qc_lang2 k8_qc_lang2 k9_qc_lang2 k10_qc_lang2 k11_qc_lang2 k12_qc_lang2 k13_qc_lang2 k14_qc_lang2 k15_qc_lang2 k3_cqc_lang k1_cqc_lang k4_cqc_lang k6_cqc_lang k6_qc_lang3 k5_qc_lang3 k17_cqc_lang k3_qc_lang3 k2_cqc_lang k5_cqc_lang k8_cqc_lang k10_cqc_lang k11_cqc_lang k15_cqc_lang f3_s2_cqc_lang f4_s2_cqc_lang f5_s2_cqc_lang f6_s2_cqc_lang f5_s3_cqc_lang f6_s3_cqc_lang f7_s3_cqc_lang f8_s3_cqc_lang f4_s4_cqc_lang f5_s4_cqc_lang f6_s4_cqc_lang f7_s4_cqc_lang f2_s5_cqc_lang f4_s5_cqc_lang f5_s5_cqc_lang f6_s5_cqc_lang f7_s5_cqc_lang f3_s6_cqc_lang f4_s6_cqc_lang f8_s6_cqc_lang f9_s6_cqc_lang f10_s6_cqc_lang f2_s7_cqc_lang f4_s7_cqc_lang f5_s7_cqc_lang f7_s7_cqc_lang f8_s7_cqc_lang f2_s8_cqc_lang f4_s8_cqc_lang f5_s8_cqc_lang f6_s8_cqc_lang f9_s8_cqc_lang f2_s9_cqc_lang f4_s9_cqc_lang f5_s9_cqc_lang f6_s9_cqc_lang f7_s9_cqc_lang k12_cqc_lang k13_cqc_lang k14_cqc_lang k16_cqc_lang a_2_0_cqc_lang a_2_1_cqc_lang k1_realset1 k3_realset1 k4_realset1 k2_realset1 k5_realset1 k1_card_2 k2_card_2 k3_newton k1_card_4 k2_nat_1 k4_finseq_2 k3_finseq_2 k3_card_2 k2_newton f1_s1_card_4 f1_s2_card_4 f1_s3_card_4 k1_rfinseq k5_real_1 k15_rvsum_1 k2_rfinseq k2_seq_1 k2_finseq_4 k6_real_1 k9_rvsum_1 u1_struct_0 g1_struct_0 u2_struct_0 g2_struct_0 k1_struct_0 k2_struct_0 k1_cat_1 u2_cat_1 k2_cat_1 u1_cat_1 u3_cat_1 k3_cat_1 u4_cat_1 u5_cat_1 k4_cat_1 k5_cat_1 u6_cat_1 k6_cat_1 k8_cat_1 k7_cat_1 g1_cat_1 k9_cat_1 k10_cat_1 k11_cat_1 k12_cat_1 k13_cat_1 k14_cat_1 k15_cat_1 k16_cat_1 a_3_0_cat_1 g2_lattices g1_lattices g3_lattices k1_lattices u2_lattices k2_lattices u1_lattices k5_lattices k6_lattices k4_lattices k3_lattices k7_lattices k1_pre_topc k2_pre_topc k3_pre_topc u1_pre_topc k5_pre_topc k6_pre_topc g1_pre_topc k4_pre_topc k1_tops_1 k2_tops_1 g2_rlvect_1 k1_rlvect_1 k2_rlvect_1 u1_rlvect_1 k1_domain_1 k3_rlvect_1 u2_rlvect_1 k3_real_1 k4_real_1 k5_rlvect_1 k6_rlvect_1 k4_rlvect_1 k9_rlvect_1 k7_rlvect_1 k8_rlvect_1 g1_rlvect_1 g1_group_1 k1_group_1 u1_group_1 k2_group_1 k3_group_1 k4_group_1 k6_finseqop k5_group_1 k6_group_1 k1_int_2 k7_group_1 k8_group_1 k9_group_1 k10_group_1 g4_vectsp_1 k2_vectsp_1 u1_vectsp_1 g3_vectsp_1 k4_vectsp_1 k5_vectsp_1 k6_vectsp_1 u2_vectsp_1 k7_vectsp_1 g1_vectsp_1 g2_vectsp_1 k1_realset2 k2_realset2 k3_realset2 k4_realset2 k5_realset2 k6_realset2 k7_realset2 k8_realset2 k5_cat_2 k11_cat_2 k2_cat_2 k1_cat_2 k3_cat_2 k4_cat_2 k10_pboole k8_cat_2 k9_cat_2 k10_cat_2 k12_cat_2 k13_cat_2 k14_cat_2 k15_cat_2 k7_cat_2 k6_cat_2 k16_cat_2 k17_cat_2 k18_cat_2 k19_cat_2 a_2_0_cat_2 k5_filter_0 k8_filter_0 k6_domain_1 k1_filter_0 k2_filter_0 k3_filter_0 k4_filter_0 k6_filter_0 k7_filter_0 k9_filter_0 k10_filter_0 k11_filter_0 k12_filter_0 a_2_0_filter_0 a_3_0_filter_0 a_3_1_filter_0 k1_lattice2 k2_lattice2 k3_lattice2 k8_filter_1 k3_filter_1 k4_filter_1 k2_filter_1 k5_filter_1 k6_filter_1 k7_filter_1 k9_filter_1 k10_filter_1 k1_filter_1 a_1_0_filter_1 k3_borsuk_1 k6_borsuk_1 k15_borsuk_1 k16_borsuk_1 k2_borsuk_1 k1_borsuk_1 k7_borsuk_1 k8_borsuk_1 k11_borsuk_1 k12_borsuk_1 k13_borsuk_1 k1_pcomps_1 k14_borsuk_1 k10_borsuk_1 k17_borsuk_1 k18_borsuk_1 k5_pcomps_1 k1_rcomp_1 k20_borsuk_1 k21_borsuk_1 k4_borsuk_1 k5_borsuk_1 k9_borsuk_1 k19_borsuk_1 a_2_0_borsuk_1 a_3_0_borsuk_1 a_3_1_borsuk_1 a_2_2_borsuk_1 a_2_3_borsuk_1 a_2_1_borsuk_1 k1_grcat_1 k6_grcat_1 k12_grcat_1 k13_grcat_1 k17_grcat_1 k19_grcat_1 k28_grcat_1 k29_grcat_1 k30_grcat_1 k31_grcat_1 k32_grcat_1 k1_algstr_1 k2_grcat_1 k3_grcat_1 k4_grcat_1 k5_grcat_1 k7_grcat_1 k8_grcat_1 k9_grcat_1 u1_grcat_1 k10_grcat_1 u2_grcat_1 k11_grcat_1 u3_grcat_1 g1_grcat_1 k15_grcat_1 k16_grcat_1 k18_grcat_1 k20_grcat_1 k23_grcat_1 k24_grcat_1 k21_grcat_1 k25_grcat_1 k22_grcat_1 k26_grcat_1 k27_grcat_1 f4_s1_grcat_1 f4_s2_grcat_1 k14_grcat_1 a_2_0_grcat_1 a_1_0_grcat_1 a_1_1_grcat_1 k5_group_2 k6_group_2 k4_group_6 k6_group_6 k12_group_6 k12_group_2 k13_group_2 k9_group_2 k2_group_3 k10_group_2 k7_group_4 k3_group_2 k4_group_2 k11_group_2 k9_group_5 k2_group_5 k1_group_6 k14_group_2 k15_group_2 k2_group_2 k5_group_6 k7_group_6 k7_group_2 k16_group_2 k17_group_2 k3_group_5 k10_group_6 k8_group_6 k11_group_6 k13_group_6 k9_group_6 k5_group_4 k8_group_4 k2_group_6 k8_group_2 k3_group_6 a_1_0_group_6 a_3_0_group_6 k4_lattice4 k1_lattice4 k2_lattice4 k3_lattice4 k5_lattice4 a_2_0_lattice4 a_2_1_lattice4 a_1_0_lopclset k1_lopclset k2_lopclset k3_lopclset k4_lopclset k5_lopclset k6_lopclset k7_lopclset k8_lopclset k9_lopclset k11_lopclset k12_lopclset k13_lopclset skf1 skf2 skf3 skf4 skf5 skf6 skf7 skf8 skf9 skf10 skf11 skf12 skf13 skf14 skf15 skf16 skf17 skf18 skf19 skf20 skf21 skf28 skf29 skf30 skf31 skf32 skf33 skf34 skf38 skf39 skf40 skf41 skf42 skf43 skf44 skf45 skf46 skf47 skf48 skf49 skf50 skf51 skf52 skf53 skf54 skf55 skf56 skf57 skf58 skf59 skf60 skf61 skf62 skf63 skf64 skf65 skf66 skf67 skf68 skf69 skf70 skf71 skf72 skf73 skf74 skf75 skf76 skf77 skf78 skf79 skf80 skf81 skf82 skf83 skf84 skf85 skf86 skf87 skf88 skf89 skf90 skf91 skf92 skf94 skf95 skf99 skf100 skf103 skf104 skf105 skf106 skf107 skf108 skf109 skf110 skf111 skf112 skf113 skf114 skf115 skf116 skf117 skf118 skf119 skf120 skf121 skf122 skf123 skf124 skf125 skf126 skf127 skf128 skf129 skf130 skf131 skf132 skf133 skf134 skf138 skf139 skf140 skf141 skf142 skf143 skf144 skf145 skf146 skf147 skf148 skf149 skf150 skf151 skf152 skf153 skf154 skf155 skf156 skf157 skf158 skf159 skf160 skf161 skf162 skf163 skf164 skf165 skf166 skf167 skf168 skf169 skf170 skf171 skf172 skf173 skf174 skf175 skf176 skf177 skf178 skf179 skf180 skf181 skf182 skf183 skf184 skf185 skf186 skf187 skf188 skf189 skf190 skf191 skf192 skf193 skf194 skf195 skf196 skf197 skf204 skf205 skf206 skf207 skf208 skf209 skf210 skf211 skf212 skf213 skf214 skf215 skf216 skf217 skf218 skf219 skf220 skf221 skf222 skf223 skf224 skf225 skf226 skf227 skf228 skf229 skf230 skf231 skf232 skf233 skf234 skf235 skf236 skf237 skf238 skf239 skf240 skf241 skf242 skf243 skf244 skf245 skf246 skf247 skf248 skf249 skf250 skf251 skf252 skf253 skf254 skf255 skf256 skf257 skf258 skf259 skf260 skf261 skf262 skf274 skf275 skf276 skf277 skf278 skf279 skf280 skf281 skf282 skf283 skf284 skf285 skf286 skf287 skf288 skf289 skf290 skf291 skf292 skf293 skf294 skf295 skf296 skf297 skf298 skf299 skf300 skf301 skf302 skf303 skf308 skf309 skf310 skf311 skf312 skf313 skf314 skf315 skf316 skf317 skf318 skf319 skf320 skf321 skf322 skf323 skf324 skf327 skf328 skf332 skf333 skf334 skf335 skf336 skf339 skf340 skf341 skf342 skf343 skf344 skf345 skf346 skf347 skf348 skf349 skf350 skf351 skf352 skf353 skf354 skf355 skf356 skf357 skf358 skf359 skf362 skf363 skf365 skf366 skf367 skf368 skf369 skf370 skf371 skf372 skf373 skf374 skf375 skf376 skf377 skf378 skf379 skf380 skf381 skf382 skf383 skf384 skf385 skf386 skf387 skf388 skf389 skf390 skf391 skf393 skf394 skf403 skf404 skf416 skf417 skf418 skf419 skf420 skf421 skf422 skf423 skf424 skf425 skf426 skf427 skf428 skf429 skf430 skf431 skf432 skf433 skf434 skf435 skf436 skf437 skf438 skf439 skf440 skf441 skf442 skf443 skf444 skf445 skf446 skf447 skf448 skf449 skf450 skf451 skf452 skf453 skf454 skf455 skf456 skf457 skf458 skf459 skf460 skf461 skf462 skf463 skf464 skf465 skf466 skf467 skf468 skf469 skf470 skf471 skf472 skf473 skf474 skf475 skf476 skf477 skf478 skf479 skf480 skf481 skf482 skf483 skf484 skf485 skf486 skf487 skf488 skf489 skf490 skf491 skf492 skf493 skf494 skf495 skf496 skf497 skf498 skf499 skf500 skf501 skf502 skf503 skf504 skf505 skf506 skf507 skf508 skf509 skf510 skf511 skf512 skf513 skf514 skf515 skf516 skf517 skf518 skf519 skf520 skf521 skf522 skf523 skf524 skf525 skf526 skf527 skf528 skf529 skf530 skf531 skf532 skf533 skf534 skf535 skf536 skf537 skf538 skf539 skf540 skf541 skf542 skf543 skf544 skf545 skf546 skf547 skf548 skf549 skf550 skf551 skf552 skf553 skf554 skf555 skf556 skf557 skf558 skf559 skf560 skf561 skf562 skf563 skf564 skf565 skf566 skf567 skf568 skf569 skf570 skf571 skf572 skf573 skf574 skf575 skf576 skf577 skf578 skf579 skf580 skf581 skf595 skf609 skf610 skf611 skf612 skf613 skf614 skf615 skf616 skf617 skf618 skf619 skf620 skf621 skf630 skf631 skf632 skf633 skf634 skf635 skf636 skf637 skf638 skf639 skf640 skf641 skf642 skf643 skf644 skf645 skf646 skf647 skf648 skf649 skf650 skf651 skf652 skf653 skf654 skf655 skf656 skf657 skf658 skf659 skf660 skf661 skf662 skf663 skf664 skf665 skf666 skf667 skf668 skf669 skf670 skf671 skf672 skf673 skf674 skf675 skf676 skf677 skf678 skf679 skf680 skf681 skf682 skf683 skf684 skf685 skf686 skf687 skf688 skf689 skf690 skf691 skf692 skf693 skf694 skf695 skf696 skf697 skf698 skf702 skf703 skf704 skf705 skf706 skf707 skf708 skf709 skf710 skf711 skf712 skf713 skf714 skf715 skf716 skf717 skf718 skf719 skf720 skf721 skf722 skf723 skf724 skf725 skf726 skf727 skf730 skf731 skf732 skf733 skf734 skf735 skf736 skf737 skf738 skf739 skf740 skf741 skf742 skf743 skf744 skf745 skf746 skf747 skf748 skf749 skf750 skf751 skf752 skf753 skf754 skf755 skf756 skf757 skf758 skf759 skf760 skf761 skf762 skf763 skf764 skf765 skf766 skf767 skf768 skf769 skf770 skf771 skf772 skf773 skf774 skf775 skf776 skf777 skf778 skf779 skf789 skf790 skf791 skf792 skf793 skf794 skf795 skf801 skf802 skf803 skf804 skf805 skf806 skf807 skf808 skf809 skf810 skf811 skf813 skf814 skf815 skf816 skf817 skf818 skf819 skf821 skf822 skf823 skf824 skf825 skf826 skf827 skf831 skf832 skf833 skf834 skf835 skf836 skf837 skf843 skf844 skf845 skf846 skf847 skf848 skf849 skf850 skf851 skf852 skf853 skf855 skf856 skf857 skf858 skf859 skf860 skf861 skf863 skf864 skf865 skf866 skf867 skf868 skf869 skf873 skf874 skf875 skf876 skf877 skf878 skf879 skf880 skf885 skf886 skf887 skf888 skf889 skf890 skf891 skf892 skf893 skf894 skf895 skf896 skf897 skf898 skf899 skf900 skf901 skf902 skf903 skf904 skf905 skf906 skf907 skf908 skf909 skf910 skf911 skf912 skf913 skf914 skf915 skf916 skf917 skf918 skf919 skf920 skf921 skf922 skf923 skf924 skf925 skf926 skf927 skf928 skf929 skf930 skf931 skf932 skf933 skf934 skf935 skf936 skf937 skf938 skf940 skf942 skf945 skf948 skf949 skf950 skf951 skf952 skf953 skf956 skf957 skf958 skf964 skf965 skf967 skf970 skf974 skf976 skf977 skf982 skf984 skf986 skf988 skf990 skf991 skf992 skf993 skf994 skf995 skf996 skf997 skf998 skf999 skf1000 skf1001 skf1002 skf1003 skf1004 skf1005 skf1006 skf1007 skf1008 skf1009 skf1010 skf1011 skf1012 skf1013 skf1014 skf1015 skf1016 skf1017 skf1018 skf1019 skf1020 skf1021 skf1022 skf1023 skf1024 skf1025 skf1026 skf1027 skf1028 skf1029 skf1030 skf1031 skf1032 skf1033 skf1034 skf1035 skf1036 skf1037 skf1038 skf1039 skf1040 skf1041 skf1042 skf1043 skf1044 skf1045 skf1046 skf1047 skf1048 skf1049 skf1050 skf1055 skf1056 skf1057 skf1058 skf1059 skf1060 skf1063 skf1064 skf1065 skf1066 skf1067 skf1068 skf1069 skf1070 skf1071 skf1080 skf1081 skf1082 skf1083 skf1084 skf1085 skf1086 skf1087 skf1088 skf1089 skf1090 skf1091 skf1092 skf1093 skf1094 skf1095 skf1096 skf1097 skf1098 skf1099 skf1100 skf1101 skf1102 skf1103 skf1104 skf1105 skf1106 skf1107 skf1108 skf1109 skf1110 skf1111 skf1112 skf1113 skf1114 skf1115 skf1116 skf1117 skf1118 skf1119 skf1120 skf1121 skf1122 skf1123 skf1124 skf1125 skf1126 skf1127 skf1128 skf1129 skf1130 skf1131 skf1132 skf1133 skf1134 skf1135 skf1136 skf1137 skf1138 skf1139 skf1140 skf1141 skf1142 skf1143 skf1144 skf1145 skf1146 skf1147 skf1148 skf1149 skf1150 skf1152 skf1153 skf1154 skf1155 skf1156 skf1157 skf1158 skf1159 skf1160 skf1161 skf1162 skf1163 skf1164 skf1165 skf1166 skf1167 skf1168 skf1169 skf1170 skf1171 skf1172 skf1173 skf1174 skf1175 skf1176 skf1177 skf1178 skf1179 skf1180 skf1181 skf1182 skf1183 skf1184 skf1185 skf1186 skf1187 skf1188 skf1189 skf1190 skf1191 skf1192 skf1193 skf1194 skf1195 skf1196 skf1197 skf1198 skf1199 skf1200 skf1201 skf1209 skf1210 skf1211 skf1212 skf1213 skf1214 skf1215 skf1216 skf1217 skf1218 skf1219 skf1220 skf1221 skf1222 skf1223 skf1224 skf1225 skf1230 skf1232 skf1237 skf1238 skf1239 skf1240 skf1241 skf1242 skf1243 skf1244 skf1245 skf1246 skf1247 skf1248 skf1249 skf1250 skf1251 skf1252 skf1253 skf1254 skf1255 skf1256 skf1257 skf1258 skf1259 skf1260 skf1261 skf1262 skf1263 skf1264 skf1265 skf1266 skf1267 skf1272 skf1275 skf1278 skf1279 skf1280 skf1281 skf1282 skf1283 skf1284 skf1285 skf1286 skf1287 skf1288 skf1289 skf1290 skf1291 skf1292 skf1293 skf1294 skf1295 skf1296 skf1304 skf1305 skf1306 skf1307 skf1308 skf1309 skf1310 skf1311 skf1312 skf1313 skf1314 skf1315 skf1316 skf1317 skf1318 skf1319 skf1320 skf1321 skf1322 skf1323 skf1324 skf1325 skf1326 skf1327 skf1328 skf1331 skf1332 skf1333 skf1334 skf1335 skf1336 skf1337 skf1338 skf1339 skf1340 skf1341 skf1342 skf1343 skf1344 skf1345 skf1346 skf1347 skf1348 skf1349 skf1350 skf1351 skf1352 skf1353 skf1354 skf1355 skf1356 skf1357 skf1358 skf1359 skf1360 skf1361 skf1362 skf1363 skf1364 skf1365 skf1366 skf1367 skf1368 skf1369 skf1370 skf1371 skf1372 skf1373 skf1374 skf1375 skf1376 skf1377 skf1378 skf1379 skf1380 skf1381 skf1388 skf1389 skf1390 skf1391 skf1392 skf1393 skf1394 skf1395 skf1396 skf1397 skf1398 skf1399 skf1400 skf1401 skf1402 skf1403 skf1404 skf1405 skf1406 skf1407 skf1408 skf1409 skf1410 skf1411 skf1412 skf1413 skf1414 skf1415 skf1416 skf1417 skf1418 skf1419 skf1420 skf1421 skf1422 skf1423 skf1424 skf1425 skf1426 skf1427 skf1428 skf1429 skf1430 skf1431 skf1432 skf1433 skf1434 skf1437 skf1438 skf1439 skf1440 skf1441 skf1442 skf1443 skf1444 skf1445 skf1446 skf1449 skf1450 skf1451 skf1452 skf1453 skf1454 skf1455 skf1456 skf1457 skf1458 skf1461 skf1462 skf1463 skf1464 skf1465 skf1466 skf1467 skf1468 skf1469 skf1470 skf1471 skf1472 skf1474 skf1475 skf1476 skf1477 skf1478 skf1479 skf1480 skf1481 skf1482 skf1483 skf1485 skf1486 skf1487 skf1488 skf1489 skf1490 skf1491 skf1492 skf1493 skf1494 skf1496 skf1497 skf1498 skf1499 skf1500 skf1501 skf1502 skf1503 skf1504 skf1505 skf1507 skf1508 skf1509 skf1510 skf1511 skf1512 skf1513 skf1514 skf1515 skf1516 skf1518 skf1519 skf1520 skf1521 skf1522 skf1525 skf1526 skf1527 skf1528 skf1529 skf1530 skf1531 skf1532 skf1533 skf1535 skf1536 skf1537 skf1538 skf1539 skf1540 skf1541 skf1542 skf1543 skf1544 skf1545 skf1546 skf1547 skf1548 skf1549 skf1550 skf1551 skf1552 skf1553 skf1554 skf1555 skf1556 skf1557 skf1558 skf1559 skf1560 skf1561 skf1562 skf1563 skf1564 skf1565 skf1566 skf1567 skf1568 skf1569 skf1570 skf1572 skf1573 skf1574 skf1575 skf1576 skf1577 skf1578 skf1579 skf1580 skf1581 skf1582 skf1583 skf1584 skf1585 skf1586 skf1587 skf1588 skf1589 skf1590 skf1591 skf1592 skf1593 skf1594 skf1595 skf1596 skf1597 skf1598 skf1603 skf1604 skf1610 skf1611 skf1612 skf1613 skf1614 skf1615 skf1616 skf1617 skf1618 skf1619 skf1620 skf1621 skf1622 skf1623 skf1624 skf1625 skf1626 skf1627 skf1628 skf1629 skf1630 skf1631 skf1632 skf1633 skf1634 skf1635 skf1636 skf1637 skf1638 skf1639 skf1640 skf1641 skf1642 skf1643 skf1644 skf1645 skf1646 skf1647 skf1648 skf1649 skf1650 skf1651 skf1652 skf1653 skf1654 skf1655 skf1656 skf1657 skf1658 skf1659 skf1660 skf1661 skf1662 skf1663 skf1664 skf1665 skf1666 skf1667 skf1668 skf1669 skf1670 skf1671 skf1672 skf1673 skf1674 skf1675 skf1676 skf1677 skf1678 skf1679 skf1680 skf1681 skf1682 skf1683 skf1684 skf1685 skf1686 skf1687 skf1688 skf1689 skf1690 skf1691 skf1692 skf1693 skf1694 skf1695 skf1696 skf1697 skf1698 skf1699 skf1700 skf1701 skf1702 skf1704 skf1705 skf1719 skf1720 skf1721 skf1722 skf1723 skf1724 skf1725 skf1726 skf1727 skf1728 skf1729 skf1730 skf1731 skf1732 skf1733 skf1734 skf1735 skf1736 skf1737 skf1738 skf1739 skf1740 skf1741 skf1742 skf1743 skf1744 skf1745 skf1746 skf1747 skf1748 skf1749 skf1750 skf1751 skf1752 skf1753 skf1754 skf1755 skf1756 skf1757 skf1758 skf1759 skf1760 skf1761 skf1762 skf1763 skf1764 skf1765 skf1766 skf1767 skf1768 skf1769 skf1770 skf1776 skf1777 skf1778 skf1779 skf1780 skf1781 skf1782 skf1783 skf1784 skf1785 skf1786 skf1787 skf1788 skf1789 skf1790 skf1791 skf1792 skf1793 skf1794 skf1795 skf1796 skf1797 skf1798 skf1799 skf1800 skf1801 skf1803 skf1804 skf1805 skf1806 skf1807 skf1808 skf1809 skf1810 skf1811 skf1812 skf1813 skf1814 skf1815 skf1816 skf1817 skf1818 skf1819 skf1820 skf1821 skf1822 skf1823 skf1824 skf1831 skf1832 skf1833 skf1834 skf1835 skf1836 skf1837 skf1838 skf1839 skf1840 skf1841 skf1842 skf1843 skf1844 skf1845 skf1846 skf1847 skf1848 skf1849 skf1850 skf1851 skf1852 skf1853 skf1854 skf1855 skf1856 skf1857 skf1858 skf1859 skf1860 skf1861 skf1862 skf1863 skf1864 skf1865 skf1866 skf1867 skf1868 skf1869 skf1870 skf1871 skf1872 skf1873 skf1874 skf1875 skf1876 skf1877 skf1878 skf1879 skf1886 skf1887 skf1888 skf1889 skf1890 skf1891 skf1892 skf1893 skf1894 skf1895 skf1896 skf1897 skf1898 skf1899 skf1900 skf1901 skf1902 skf1903 skf1904 skf1905 skf1906 skf1907 skf1908 skf1909 skf1910 skf1911 skf1912 skf1913 skf1914 skf1915 skf1916 skf1917 skf1918 skf1919 skf1920 skf1921 skf1922 skf1923 skf1935 skf1936 skf1937 skf1940 skf1941 skf1942 skf1943 skf1944 skf1945 skf1946 skf1947 skf1948 skf1949 skf1950 skf1951 skf1952 skf1953 skf1954 skf1955 skf1956 skf1957 skf1958 skf1959 skf1960 skf1961 skf1962 skf1963 skf1964 skf1965 skf1966 skf1967 skf1968 skf1969 skf1970 skf1971 skf1972 skf1973 skf1974 skf1975 skf1976 skf1977 skf1978 skf1982 skf1987 skf1988 skf1989 skf1990 skf1991 skf1992 skf1993 skf1994 skf1995 skf1996 skf1997 skf1998 skf1999 skf2000 skf2001 skf2002 skf2003 skf2004 skf2005 skf2006 skf2007 skf2008 skf2009 skf2010 skf2011 skf2012 skf2013 skf2014 skf2015 skf2016 skf2017 skf2018 skf2019 skf2020 skf2021 skf2022 skf2023 skf2024 skf2025 skf2026 skf2027 skf2028 skf2029 skf2030 skf2031 skf2032 skf2033 skf2034 skf2035 skf2036 skf2037 skf2038 skf2039 skf2040 skf2041 skf2042 skf2043 skf2044 skf2045 skf2046 skf2047 skf2048 skf2049 skf2050 skf2051 skf2052 skf2053 skf2054 skf2055 skf2056 skf2057 skf2058 skf2059 skf2060 skf2061 skf2062 skf2063 skf2064 skf2065 skf2066 skf2067 skf2068 skf2069 skf2070 skf2071 skf2073 skf2074 skf2075 skf2076 skf2077 skf2078 skf2079 skf2080 skf2081 skf2082 skf2083 skf2084 skf2085 skf2086 skf2087 skf2088 skf2089 skf2090 skf2091 skf2092 skf2093 skf2094 skf2095 skf2096 skf2097 skf2098 skf2099 skf2100 skf2101 skf2102 skf2103 skf2104 skf2105 skf2106 skf2107 skf2108 skf2109 skf2110 skf2111 skf2112 skf2113 skf2116 skf2117 skf2118 skf2119 skf2120 skf2121 skf2122 skf2123 skf2124 skf2125 skf2126 skf2127 skf2128 skf2129 skf2130 skf2131 skf2132 skf2133 skf2134 skf2135 skf2136 skf2137 skf2138 skf2139 skf2140 skf2141 skf2142 skf2143 skf2144 skf2145 skf2146 skf2147 skf2148 skf2149 skf2150 skf2151 skf2152 skf2153 skf2154 skf2155 skf2156 skf2157 skf2158 skf2159 skf2160 skf2161 skf2162 skf2163 skf2164 skf2165 skf2166 skf2168 skf2170 skf2171 skf2173 skf2175 skf2176 skf2177 skf2179 skf2180 skf2181 skf2182 skf2183 skf2185 skf2186 skf2187 skf2188 skf2189 skf2190 skf2191 skf2192 skf2193 skf2194 skf2195 skf2196 skf2197 skf2198 skf2199 skf2200 skf2201 skf2202 skf2203 skf2204 skf2205 skf2206 skf2207 skf2208 skf2209 skf2210 skf2211 skf2212 skf2213 skf2214 skf2215 skf2216 skf2217 skf2218 skf2219 skf2220 skf2221 skf2222 skf2223 skf2224 skf2225 skf2226 skf2227 skf2228 skf2229 skf2230 skf2231 skf2232 skf2233 skf2234 skf2235 skf2236 skf2237 skf2238 skf2239 skf2240 skf2241 skf2242 skf2243 skf2244 skf2245 skf2246 skf2247 skf2248 skf2249 skf2250 skf2251 skf2252 skf2253 skf2254 skf2255 skf2256 skf2257 skf2258 skf2259 skf2260 skf2261 skf2264 skf2266 skf2268 skf2269 skf2270 skf2271 skf2272 skf2273 skf2274 skf2275 skf2276 skf2277 skf2278 skf2279 skf2280 skf2281 skf2282 skf2283 skf2284 skf2285 skf2286 skf2287 skf2288 skf2289 skf2290 skf2291 skf2292 skf2293 skf2294 skf2295 skf2296 skf2297 skf2298 skf2299 skf2300 skf2301 skf2302 skf2303 skf2304 skf2305 skf2306 skf2307 skf2308 skf2309 skf2310 skf2311 skf2312 skf2313 skf2314 skf2315 skf2316 skf2317 skf2318 skf2319 skf2320 skf2321 skf2322 skf2323 skf2324 skf2325 skf2326 skf2327 skf2328 skf2329 skf2330 skf2331 skf2332 skf2333 skf2334 skf2338 skf2341 skf2342 skf2343 skf2344 skf2345 skf2346 skf2347 skf2349 skf2350 skf2351 skf2352 skf2353 skf2354 skf2355 skf2356 skf2357 skf2358 skf2360 skf2361 skf2362 skf2363 skf2364 skf2365 skf2366 skf2367 skf2368 skf2369 skf2370 skf2371 skf2372 skf2373 skf2374 skf2375 skf2376 skf2377 skf2378 skf2379 skf2380 skf2381 skf2382 skf2383 skf2384 skf2385 skf2386 skf2387 skf2388 skf2389 skf2390 skf2391 skf2392 skf2393 skf2394 skf2395 skf2396 skf2397 skf2398 skf2399 skf2400 skf2401 skf2402 skf2403 skf2404 skf2405 skf2406 skf2407 skf2408 skf2409 skf2410 skf2411 skf2412 skf2413 skf2414 skf2415 skf2416 skf2417 skf2418 skf2419 skf2420 skf2421 skf2422 skf2423 skf2424 skf2425 skf2426 skf2427 skf2428 skf2429 skf2430 skf2431 skf2432 skf2433 skf2434 skf2435 skf2436 skf2437 skf2438 skf2439 skf2440 skf2441 skf2442 skf2443 skf2444 skf2445 skf2446 % 1.64/1.03 Problem Properties: % 1.64/1.03 This is a full first-order problem with equality. % 1.64/1.03 SZS status GaveUp % 1.64/1.03 SPASS beiseite: SPASS does currently not support non-BS equality problems. % 1.64/1.03 %------------------------------------------------------------------------------