DIRCc%K+c%K+9]:[D f U5%=U .gitignorec%Cic%Ci9| q Q/Z wQ.gitlab-ci.ymlc%Cic%Ci9⛲CK)wZSATTIC/WORK_IN_PROGRESSc%Cic%Ci9l]T[SҢ s ATTIC/max.lpc%Cic%Ci93Y;Rz-kmATTIC/misc_programs/Makefilec%Cic%Ci9 f" gLNrݧo ATTIC/misc_programs/count_asp.plc%Cic%Ci9:~fjk]j r-ATTIC/misc_programs/hanoi_for_simple_minds.plc%Cic%Ci9j_k]vV̔>/ATTIC/misc_programs/hanoi_for_simple_minds_2.plc%Cic%Ci9KtoB] mm/ATTIC/misc_programs/hanoi_for_simple_minds_3.plc%Cic%Ci9Chi\7wM% k"ATTIC/misc_programs/new_hanoi_2.plc%Cic%Ci9/Cf^[v޶ (%ATTIC/test_sasp/abdbirds.plc%Cic%Ci9^=S, f`@?-]ATTIC/test_sasp/birds.plc%Cic%Ci97:Fߥ&Th)=gATTIC/test_sasp/birds2.plc%Cic%Ci9l ?|A_y3)%#ATTIC/test_sasp/classic_negation.plc%Cic%Ci98PD~ =wS7,'ATTIC/test_sasp/classical_neg_entail.plc%Cic%Ci9G {3BqolLDATTIC/test_sasp/cofailure.plc%K+c%K+9C]+\z 0d(*!ATTIC/test_sasp/directive_test.plc%Cic%Ci9 lf"68;X"qtATTIC/test_sasp/errtest.plc%Cic%Ci9ߖ* 5e~lATTIC/test_sasp/family.plc%K+c%K+9( u &pyӘg5ATTIC/test_sasp/gpa.plc%Cic%Ci9DLâ7ASATTIC/test_sasp/graph.plc%K+c%K+9100D|QnHATTIC/test_sasp/hamcycle.plc%K+c%K+9100D|QnHATTIC/test_sasp/hamcycle2.plc%K+c%K+9m@/F u:P+HFATTIC/test_sasp/hamcycle_two.plc%Cic%Ci9,IP*NJ0D irATTIC/test_sasp/hanoi.plc%Cic%Ci9*AWJwpq|`FGQATTIC/test_sasp/hanoi_7.plc%Cic%Ci9ӥ-Pٳ"#0ATTIC/test_sasp/hanoi_clp.plc%Cic%Ci9<\+P W1Fv[$ATTIC/test_sasp/left-rec-succ_BAD.plc%Cic%Ci9\W_l=Q&ATTIC/test_sasp/left.plc%Cic%Ci9+I癩q:bF!ATTIC/test_sasp/lion.plc%Cic%Ci97#|8Re$vvATTIC/test_sasp/list.plc%Cic%Ci9SE>f^u/4SbATTIC/test_sasp/loop_pos.plc%Cic%Ci9SM!-|ATЄ$ ATTIC/test_sasp/loop_succ_pos.plc%K+c%K+9Qc<s+Cn)x ~ ATTIC/test_sasp/loopvar.plc%Cic%Ci9bZDt#6$fSATTIC/test_sasp/loopvar2.plc%Cic%Ci97磼?DKoATTIC/test_sasp/member.plc%K+c%K+9=jZè=X>ATTIC/test_sasp/multitest.plc%Cic%Ci9!E^;*tATTIC/test_sasp/natnum.plc%Cic%Ci9.G=A}5GS:ATTIC/test_sasp/oddloop_odd.plc%Cic%Ci9Khr諾+G&u_ATTIC/test_sasp/paperexample.plc%Cic%Ci9W 3aનK=_VsATTIC/test_sasp/path.plc%Cic%Ci9av!3ᯏATTIC/test_sasp/path_loop.plc%Cic%Ci9db_U!O 3A#ATTIC/test_sasp/pos_loop2_simple.plc%Cic%Ci9!pbYcV123'ATTIC/test_sasp/pos_loop_pass_simple.plc%Cic%Ci9C2n,V~I-Ht3 "ATTIC/test_sasp/pos_loop_simple.plc%K+c%K+9bBN_AL|vm xATTIC/test_sasp/pq_asp.plc%K+c%K+90M-2hg=+Gͫũ3ATTIC/test_sasp/pq_loop.plc%Cic%Ci9/< bkI7dRɖpc'ATTIC/test_sasp/pq_loop_b.plc%Cic%Ci9]Gƥ` fEN:"ATTIC/test_sasp/queens.plc%Cic%Ci96љuT% 9ATTIC/test_sasp/queens_hide.plc%Cic%Ci9t^q[RXsU&sX!ATTIC/test_sasp/queens_hide_d0.plc%Cic%Ci9- &۵[&Jk% +ATTIC/test_sasp/queens_old.plc%Cic%Ci9t._F&B &%@';ATTIC/test_sasp/reflexive.plc%Cic%Ci9>T 19^40$ATTIC/test_sasp/schedule.plc%Cic%Ci9K'ﶏkhgATTIC/test_sasp/simple.plc%Cic%Ci9 Nąq=Q 3PSATTIC/test_sasp/struct.plc%Cic%Ci9yn@r@R"mܮATTIC/test_sasp/succ.plc%Cic%Ci9'HøbZ)N|e[ATTIC/test_sasp/test1.plc%Cic%Ci9Zj͊A^7ATTIC/test_sasp/test10.plc%Cic%Ci9wl;w.i\8ATTIC/test_sasp/test11.plc%Cic%Ci9V6GMУq9DΉZATTIC/test_sasp/test12.plc%Cic%Ci9iãc~5 \ ATTIC/test_sasp/test13.plc%Cic%Ci9kqV=P/OATTIC/test_sasp/test14.plc%Cic%Ci9mص3ہK$pATTIC/test_sasp/test15.plc%Cic%Ci:qCWx#sjsATTIC/test_sasp/test16.plc%Cic%Ci:%3 O1AEH *9X3W]3ATTIC/test_sasp/test17.plc%Cic%Ci:4"3;hF&3'DܜATTIC/test_sasp/test18.plc%Cic%Ci:SuB &BATTIC/test_sasp/test19.plc%Cic%Ci:ZHO^,T˒ATTIC/test_sasp/test2.plc%Cic%Ci:xrrf,d<ATTIC/test_sasp/test20.plc%Cic%Ci:؂@vʅQ̗FATTIC/test_sasp/test21.plc%Cic%Ci:CGc)DJ]uATTIC/test_sasp/test3.plc%Cic%Ci:T '>چXsPZATTIC/test_sasp/test4.plc%Cic%Ci: C$f|, MfATTIC/test_sasp/test5.plc%Cic%Ci: %|w6${G{lATTIC/test_sasp/test6.plc%Cic%Ci: 3M eIHATTIC/test_sasp/test7.plc%Cic%Ci: K3R~tщ{xՠ"uATTIC/test_sasp/test8.plc%Cic%Ci: xіGhl;ATTIC/test_sasp/test9.plc%Cic%Ci:@ZÝzT!`CATTIC/test_sasp/varcon.plc%Cic%Ci:^LFMd7F ATTIC/test_sasp/vars_optional.plc%Cic%Ci:Au 齲z3%eATTIC/test_scasp/ball_asp.plc%Cic%Ci: ` *%wKbATTIC/test_scasp/ball_tclpq.plc%Cic%Ci:430nߨ ATTIC/test_scasp/block_asp.plc%Cic%Ci:I:Z$-'zvI#z}$ATTIC/test_scasp/clingcon_example.plc%Cic%Ci:/6ј8"6lJ+ATTIC/test_scasp/cross_train_Pontelli_97.plc%Cic%Ci:P.Z0ŗ/.۟6ATTIC/test_scasp/cross_train_Pontelli_97_execution.txtc%Cic%Ci:8o'GNs)t ATTIC/test_scasp/ezsmt_light.plc%Cic%Ci:Z v̤݇2G0;oATTIC/test_scasp/s.plbTI0*aeh):"(+zIATTIC/test_scasp/weight_seq/instances/02-weight_assignment_tree-687-0.aspbTI0*aeh):I˳%! ,mM#IATTIC/test_scasp/weight_seq/instances/03-weight_assignment_tree-742-0.aspbTI0*aeh):zT&2}!vRx-jIATTIC/test_scasp/weight_seq/instances/04-weight_assignment_tree-612-0.aspbTI0*aeh):VrR4 +'@^)IATTIC/test_scasp/weight_seq/instances/05-weight_assignment_tree-579-0.aspbTI0*aeh):O<*HbȗEV^ IATTIC/test_scasp/weight_seq/instances/06-weight_assignment_tree-560-0.aspbTI0*aeh):x_`Ĉϲ6Q[Tz'wIATTIC/test_scasp/weight_seq/instances/07-weight_assignment_tree-547-0.aspbTI0*aeh):s&Fu` QIATTIC/test_scasp/weight_seq/instances/08-weight_assignment_tree-806-0.aspbTI0*aeh): ?PB$bAA-IATTIC/test_scasp/weight_seq/instances/09-weight_assignment_tree-778-0.aspbTI0*aeh):!HQKU)c=/ZIATTIC/test_scasp/weight_seq/instances/10-weight_assignment_tree-938-0.aspbTI0*aeh):"v._U+R^ampE7IATTIC/test_scasp/weight_seq/instances/11-weight_assignment_tree-934-0.aspbTI0*aeh):#r|f1 t$zIATTIC/test_scasp/weight_seq/instances/12-weight_assignment_tree-918-0.aspbTI0*aeh):$=_ PG>q BIATTIC/test_scasp/weight_seq/instances/17-weight_assignment_tree-854-0.aspbTI0*aehD2D:)GꞧGe A!t-BkIATTIC/test_scasp/weight_seq/instances/18-weight_assignment_tree-851-0.aspbTI0*aehD2D:*`h8/ksbtFqIATTIC/test_scasp/weight_seq/instances/19-weight_assignment_tree-833-0.aspbTI0*aehD2D:+T,05Yri1[_\IATTIC/test_scasp/weight_seq/instances/20-weight_assignment_tree-997-0.aspbTI0*aehD2D:,lXɢF, IATTIC/test_scasp/weight_seq/instances/21-weight_assignment_tree-545-0.aspbTI0*aehD2D:-M1h%IATTIC/test_scasp/weight_seq/instances/28-weight_assignment_tree-646-0.aspbTI0*aehD2D:4ZKtκA*^ۓabIATTIC/test_scasp/weight_seq/instances/29-weight_assignment_tree-644-0.aspbTI0*aehD2D:5@Wo3MTIATTIC/test_scasp/weight_seq/instances/30-weight_assignment_tree-631-0.aspbTI0*aehD2D:6b2u~!Ff%IATTIC/test_scasp/weight_seq/instances/31-weight_assignment_tree-863-0.aspbTI0*aehD2D:7KcZlMb4Rq 9 IATTIC/test_scasp/weight_seq/instances/32-weight_assignment_tree-812-0.aspbTI0*aehD2D:89vg(!}IATTIC/test_scasp/weight_seq/instances/33-weight_assignment_tree-810-0.aspbTI0*aehD2D:9Af &հ$IATTIC/test_scasp/weight_seq/instances/34-weight_assignment_tree-809-0.aspbTI0*aehD2D::5 FӭTlIATTIC/test_scasp/weight_seq/instances/35-weight_assignment_tree-805-0.aspbTI0*aehD2D:;!$=g|&X]LVIATTIC/test_scasp/weight_seq/instances/36-weight_assignment_tree-802-0.aspbTI0*aehD2D:<%Zs :e2ͥIATTIC/test_scasp/weight_seq/instances/37-weight_assignment_tree-797-0.aspbTI0*aehD2D:=4#_D Ԉn%AlIATTIC/test_scasp/weight_seq/instances/38-weight_assignment_tree-879-0.aspbTI0*aehD2D:>aF.a ;.02bIATTIC/test_scasp/weight_seq/instances/39-weight_assignment_tree-953-0.aspbTI0*aehD2D:?u;PKN!hIATTIC/test_scasp/weight_seq/instances/40-weight_assignment_tree-944-0.aspbTI0*aehD2D:@qnZbЧԶIATTIC/test_scasp/weight_seq/instances/41-weight_assignment_tree-718-0.aspbTI0*aehD2D:A6ct +uR}IATTIC/test_scasp/weight_seq/instances/42-weight_assignment_tree-367-0.aspbTI0*aehD2D:ByZ:ʢa@* JATTIC/test_scasp/weight_seq/instances/55-weight_assignment_tree-1620-0.aspbTI0*aehD2D:O'5Tnxϯ̣keJATTIC/test_scasp/weight_seq/instances/56-weight_assignment_tree-1735-0.aspbTI0*aehD2D:Q -`;W`YJATTIC/test_scasp/weight_seq/instances/57-weight_assignment_tree-1694-0.aspbTI0*aehD2D:R>)RJATTIC/test_scasp/weight_seq/instances/58-weight_assignment_tree-1647-0.aspbTI0*aehD2D:S"No3'?DX̩kYJATTIC/test_scasp/weight_seq/instances/59-weight_assignment_tree-1595-0.aspbTI0*aehD2D:T=aafwO kqJATTIC/test_scasp/weight_seq/instances/60-weight_assignment_tree-1588-0.aspbTI0*aehD2D:UhPK#æo.5JATTIC/test_scasp/weight_seq/instances/61-weight_assignment_tree-1542-0.aspbTI0*aehD2D:V%1n8JATTIC/test_scasp/weight_seq/instances/62-weight_assignment_tree-2102-0.aspc%Cic%Ci:W 7Rbn/ATTIC/test_scasp/weight_seq/select_instance.aspc%Cic%Ci:X)9N`N m^.ATTIC/test_scasp/weight_seq/select_instance.plc%Cic%Ci:YCy}Uk@([-ATTIC/test_scasp/weight_seq/weight_seq_clp.plc%Cic%Ci:Z9ѱswtw37^/ATTIC/test_scasp/weight_seq/weight_seq_ezsmt.plc%Cic%Ci:[}]N%,) Ӫ/ATTIC/test_scasp/weight_seq/weight_seq_scasp.plc%Cic%Ci:\=Y<*jRME .ATTIC/test_scasp/weight_seq/weight_seq_tclp.plc%Cic%Ci:]sMztI r xATTIC/test_scasp/zhou_birds.plc%Cic%Ci:^TsQ4ATTIC/test_tabling/edge.plc%Cic%Ci:_4kJW>`I4ATTIC/test_tabling/notp.plc%Cic%Ci:`DnHքR6G2ATTIC/test_tabling/notpq.plc%Cic%Ci:ab U+w#3ATTIC/test_tabling/output01.txtc%Cic%Ci:b'80$, %%h7aLICENSEc%K+c%K+:g9=L]DAE_Z@;JMakefilec%Cic%Ci:hsyyV!CAManifest/Manifest.plc%K+c%K+:) ;y-0o]쒪ฎ README.mdc%C*c%C*:jR|5 :$ldoc/SETTINGS.plc%K+c%K+:k 4 Azg doc/Tricks.mdc%C*c%C*:lO.o#doc/scasp_man.plc%C*c%C*:m `v;$o_)doc/user_installation.plc%C*c%C*:nr!.,*^0No:$tWdoc/user_usage.plc%C*c%C*:o.Q#~t͛u[3examples/benchmark_EventCalculus/lopstr19/README.mdc%C*c%C*:p.JP[o-"Xf\ Rexamples/benchmark_EventCalculus/lopstr19/aux-sasp/bec_light_sasp_discrete_0.25.plc%C*c%C*:q JPSg**LQexamples/benchmark_EventCalculus/lopstr19/aux-sasp/bec_light_sasp_discrete_0.5.plc%C*c%C*:r1>4(2I})Iexamples/benchmark_EventCalculus/lopstr19/aux-sasp/bec_theory_discrete.plbTI0*aehD2D:s)]ωR!=6Rexamples/benchmark_EventCalculus/lopstr19/aux-sasp/go_time_bec_light_sasp_discretec%C*c%C*:t^s3r }6)e@QFexamples/benchmark_EventCalculus/lopstr19/event-calculus/bec_theory.plc%C*c%C*:uA@nȵgIVexamples/benchmark_EventCalculus/lopstr19/event-calculus/example-light/bec_light_01.plc%C*c%C*:v\uhTlq@0Vexamples/benchmark_EventCalculus/lopstr19/event-calculus/example-light/bec_light_02.plc%C*c%C*:x<5N3utsexamples/benchmark_EventCalculus/lopstr19/event-calculus/example-light/bec_light_04_theinconsistencedonothappens.plc%C*c%C*:z %~3~ PH%[examples/benchmark_EventCalculus/lopstr19/event-calculus/example-tap/bec_tap_01_overflow.plc%C*c%C*:{ (M:G 4<ՙlo^examples/benchmark_EventCalculus/lopstr19/event-calculus/example-tap/bec_tap_02_no_overflow.plc%C*c%C*:| U䂆?ĆW_Aȭ;]examples/benchmark_EventCalculus/lopstr19/event-calculus/example-tap/bec_tap_03_two_models.plc%C*c%C*:} jK}cw2:[nmexamples/benchmark_EventCalculus/lopstr19/event-calculus/example-tap/bec_tap_04_abducible_infer_event_time.plbTI0*aehD2D:~K®?AbJ5Pexamples/benchmark_EventCalculus/lopstr19/event-calculus/scripts/go_bec_light_01bTI0*aehD2D:b>k)7examples/benchmark_iclp18/towers_hanoi/hanoi_scasp_7.plc%C*c%C*: yUQ@&7examples/benchmark_iclp18/towers_hanoi/hanoi_scasp_8.plc%C*c%C*: G d%weҕe]7examples/benchmark_iclp18/towers_hanoi/hanoi_scasp_9.plc%C*c%C*:G'۟OZ^3examples/benchmark_iclp18/towers_hanoi/new_hanoi.plc%C*c%C*:3HSFN3TZrM;examples/benchmark_iclp18/towers_hanoi/toh_incremental_7.plc%C*c%C*:3,B~H h|EA;examples/benchmark_iclp18/towers_hanoi/toh_incremental_8.plc%C*c%C*:3vj2H`*/ӝѸ9;examples/benchmark_iclp18/towers_hanoi/toh_incremental_9.plc%C*c%C*:N&Nyg@?@8examples/benchmark_iclp18/towers_hanoi/toh_standard_5.plc%C*c%C*:N&Nyg@?@8examples/benchmark_iclp18/towers_hanoi/toh_standard_6.plc%C*c%C*:OXv hZΑrl*]>|g8examples/benchmark_iclp18/towers_hanoi/toh_standard_7.plc%C*c%C*:OQM)_C!Gq 8examples/benchmark_iclp18/towers_hanoi/toh_standard_8.plc%C*c%C*:O<Ix[qۥA]8examples/benchmark_iclp18/towers_hanoi/toh_standard_9.plc%C*c%C*:^yB "hڕz8g6examples/benchmark_iclp18/traveling_salesman/README.mdc%C*c%C*: GvdOU1@ou?examples/benchmark_iclp18/traveling_salesman/hamiltonian_asp.plc%C*c%C*:]i0 /W&K;<Aexamples/benchmark_iclp18/traveling_salesman/hamiltonian_scasp.plc%C*c%C*:+$69ւui~lh:examples/benchmark_iclp18/yale_shooting_scenario/README.mdc%C*c%C*:otB@ݭZmz&-Fexamples/benchmark_iclp18/yale_shooting_scenario/yale_shooting_casp.plc%C*c%C*:Rᆓd"K p]HRIexamples/benchmark_iclp18/yale_shooting_scenario/yale_shooting_casp_v2.plc%C*c%C*:&?B"hnZB Jexamples/benchmark_iclp18/yale_shooting_scenario/yale_shooting_clingoLD.plc%C*c%C*:Eo3P ]leuQexamples/birds.htmlc%C*c%C*:] S1|+*Bi+examples/birds.plc%C*c%C*:LCIo}ُkJ^)examples/classic_negation_incostistent.plc%C*c%C*:=V"WTKxϋ+examples/compiled/READMEc%C*c%C*: ԕS~=ZÎM#examples/compiled/birds_compiled.plc%C*c%C*: d߃D-6f examples/dyncall/pas/PAS_case.plc%C*c%C*:뛨iUBC7#!examples/dyncall/pas/PAS_guide.plc%C*c%C*:o)%xuO#examples/dyncall/pas/PAS_patient.plc%C*c%C*: 4dk4wi݂8!examples/dyncall/pas/PAS_rules.plc%C*c%C*:nqf{8U:O߈'g,Ȁ"examples/dyncall/pas/PAS_server.plc%C*c%C*:[N&ð2oi6c ʰexamples/dyncall/pas/README.mdc%C*c%C*:8=CeT$%13texamples/embed/birds.plc%C*c%C*:7aZxotRo4鵺 examples/embed/pas.plc%C*c%C*:7DR@f%p}Hn\Cexamples/entail_loop.plc%C*c%C*:"m+N#\܌examples/family.plc%K+c%K+:100D|QnHexamples/hamcycle.plc%C*c%C*:m@/F u:P+HFexamples/hamcycle_two.plc%C*c%C*:,IP*NJ0D irexamples/hanoi.plc%C*c%C*:*AWJwpq|`FGQexamples/hanoi_7.plc%C*c%C*:hm:_6kz,Lexamples/min_model.plc%C*c%C*:/g۽s/򡸶!< KZMexamples/pq.plc%C*c%C*:]Gƥ` fEN:"examples/queens.plc%K+c%K+:V·OEixf|O#^examples/rps.plc%C*c%C*:Rr(Gto%.I#.pack.plc%K+c%K+:8LP8?ע Zzprolog/scasp.plc%C*c%C*: ,\6kxԮ:8prolog/scasp/call_graph.plc%C*c%C*:+;-C+dh~prolog/scasp/clp/call_stack.plc%K+c%K+:R8!-u0iprolog/scasp/clp/clpq.plc%K+c%K+:>p 華Oe03 prolog/scasp/clp/disequality.plc%C*c%C*:ŏɰpZvl|jvBg[prolog/scasp/common.plc%K+c%K+:6`o"+5@'93prolog/scasp/comp_duals.plc%K+c%K+:B pZ.xprolog/scasp/compile.plc%K,9c%K,9:J30z;$g,Tprolog/scasp/dyncall.plc%K,9c%K,9:>DW^c*.\s0,prolog/scasp/embed.plc%K,9c%K,9:].f W[O>EُV6Nprolog/scasp/html.plc%C6c%C6:7!S ߔS۽H}_ ٥prolog/scasp/html/html_head.plc%C6c%C6:~v"[ѷZprolog/scasp/html/html_tail.plc%C6c%C6:+6xi=8d5 prolog/scasp/html/jquery_tree.plc%K,9c%K,9:!ٿJ1cV؏80prolog/scasp/html_text.plc%K,9c%K,9:3ۛeAQibprolog/scasp/human.plc%K,9c%K,9:8TVIp;?}ztnprolog/scasp/input.plc%K,9c%K,9: ҁ0hZpprolog/scasp/json.plc%K,9c%K,9᳌Xr74`H;k prolog/scasp/lang/en.plc%K,9c%K,9'*,Q%):+;q6Vprolog/scasp/lang/nl.plc%K,9c%K,9;&@*Nuϗy㋙prolog/scasp/listing.plc%C6c%C6:LLO9E6ypprolog/scasp/load_compiled.plc%C6c%C6>:}az QP{wprolog/scasp/main.plc%K,9c%K,9;gP6Jcm0&Y~$ eprolog/scasp/model.plc%K,9c%K,9: %?G/;z0prolog/scasp/modules.plc%K,9c%K,9:NDJ'=Eu/prolog/scasp/nmr_check.plc%C6c%C6:Z[> mmprolog/scasp/ops.plc%C6c%C6>2[8\/:kE@iprolog/scasp/options.plc%C6c%C6:(tPmI3h/9 muprolog/scasp/output.plc%K,9c%K,9;9U|Ernprolog/scasp/pr_rules.plc%K,9c%K,9; As prolog/scasp/predicates.plc%K,9c%K,9:7I )ʤ#| &%<prolog/scasp/program.plc%K,9c%K,9;&TL#a]ђGprolog/scasp/solve.plc%K,9c%K,9;r)TؘHprolog/scasp/source_ref.plc%K,9c%K,9:#ESJ5v9prolog/scasp/stack.plc%C6c%C6: ] Fzat.prolog/scasp/swish.plc%K,9c%K,9:9Y*fh*\h^yprolog/scasp/variables.plc%K,9c%K,9;fjS> Wtprolog/scasp/verbose.plc%C6c%C6: |LYtest/all_programs/abdbirds.plc%K,9c%K,9լ5] eN/*8( ^ test/all_programs/bec_light.passc%K,9c%K,9KG'vr|zhtest/all_programs/bec_light.plc%K,9c%K,9w.]ayPjSKh:f ftest/all_programs/bec_loan.plc%K,9c%K,9 $8f$:`] (test/all_programs/bec_tap_01_overflow.plc%K,9c%K,9 ,޿% ^H2+test/all_programs/bec_tap_02_no_overflow.plc%K,9c%K,9 tpT~~"ųbځ=*test/all_programs/bec_tap_03_two_models.plc%K,9c%K,9 p]XT>(0"o:test/all_programs/bec_tap_04_abducible_infer_event_time.plc%K,9c%K,9< oߩM,!test/all_programs/bec_theory.inclc%K,9c%K,9Ғ$C-cdWtest/all_programs/birds.passc%K,9c%K,9w5>{nDtest/all_programs/birds.plc%K,9c%K,9 j^ن`{fK+test/all_programs/citizenshiptrust-scasp.plc%K,9c%K,9bN%sBם5test/all_programs/classic_negation_inconstistent.passc%K,9c%K,9gE[V[@vU3test/all_programs/classic_negation_inconstistent.plc%K,9c%K,9LCIo}ُkJ^2test/all_programs/classic_negation_incostistent.plc%K,9c%K,9~87!`"test/all_programs/clpq_equality.plc%K,9c%K,9W>$e\l؏36wQ*test/all_programs/criminaljustice-scasp.plc%K,9c%K,9P.Z0ŗ/.۟7test/all_programs/cross_train_Pontelli_97_execution.txtc%K,9c%K,9>3kGIm>dU qS%test/all_programs/dcc/hamilton_c.passc%K,9c%K,9l~|iky+#test/all_programs/dcc/hamilton_c.plc%K,9c%K,9əf LXbPF$test/all_programs/family-le-scasp.plc%K,9c%K,9N V *FIPXtest/all_programs/family.passc%K,9c%K,9'CŻ=7\ictest/all_programs/family.plc%K,9c%K,9bN%sBם#test/all_programs/forall_arity.passc%K,9c%K,9T(ž|(줡!test/all_programs/forall_arity.plc%K,9c%K,9( u &pyӘg5test/all_programs/gpa.plc%K,9c%K,9*ɩ̊MES͹9m~81test/all_programs/haplotype.plc%K,9c%K,9 MGms':7)q-test/all_programs/impossibleancestor-scasp.plc%K,9c%K,9 li)h]&test/all_programs/left-rec-succ_BAD.plc%K,9c%K,9/?6V[R |Йtest/all_programs/lion.plc%K,9c%K,9rm Q#=FM7stest/all_programs/list-scasp.plc%K,9c%K,9 z +xwsc~?'test/all_programs/loanwithcure-scasp.plc%K,9c%K,9=Y 8]wQutest/all_programs/loop_pos.plc%K,9c%K,9Do"eڿd"test/all_programs/loop_succ_pos.plc%K,9c%K,9'\*!gdRm+test/all_programs/loopvar.plc%K,9c%K,9!P3*ew-aThtest/all_programs/loopvar2.plc%K,9c%K,9hm:_6kz,Ltest/all_programs/min_model.plc%K,9c%K,9vlHyQ0 aw'test/all_programs/minicontract-scasp.plc%K,9c%K,9K5sC" ~Lzy6test/all_programs/natnum.plc%K,9c%K,9 n R%WjAY%test/all_programs/obligation-scasp.plc%K,9c%K,9=kp}~B~>Z5"test/all_programs/path_loop.plc%K,9c%K,9FliB,+sJwtest/all_programs/pq.passc%K,9c%K,9/g۽s/򡸶!< KZMtest/all_programs/pq.plc%K,9c%K,9/ [f7p}Q?Әtest/all_programs/queens.passc%K,9c%K,9;QxxJxtest/all_programs/queens.plc%K,9c%K,9N_ #;CJitest/all_programs/queens_old.plc%K,9c%K,9 x x`;5>%#xtest/all_programs/rat.passc%K,9c%K,9!D dG{C8 Ctest/all_programs/rat.plc%K,9c%K,9?y $R>0wii$test/all_programs/sasp/abdbirds.passc%K,9c%K,99 jxɘ+1>"test/all_programs/sasp/abdbirds.plc%K,9c%K,9-ƦÉ: test/all_programs/sasp/gpa.passc%K,9c%K,9( u &pyӘg5test/all_programs/sasp/gpa.plc%K,9c%K,9*ɩ̊M]+test/all_programs/sasp/left-rec-succ_BAD.plc%K,9c%K,9~c]kCEv} test/all_programs/sasp/lion.passc%K,9c%K,9/?6V[R |Йtest/all_programs/sasp/lion.plc%K,9c%K,9bN%sBם$test/all_programs/sasp/loop_pos.passc%K,9c%K,9=Y 8]wQu"test/all_programs/sasp/loop_pos.plc%K,9c%K,96tP]=-F LA86)test/all_programs/sasp/loop_succ_pos.passc%K,9c%K,9Do"eڿd'test/all_programs/sasp/loop_succ_pos.plc%K,9c%K,98^ ٞ4nIu#test/all_programs/sasp/loopvar.passc%K,wc%K,w'\*!gdRm+!test/all_programs/sasp/loopvar.plc%K,wc%K,weq.͓?!@34$test/all_programs/sasp/loopvar2.passc%K,wc%K,w!P3*ew-aTh"test/all_programs/sasp/loopvar2.plc%K,wc%K,w7ΊdD͔ZA"test/all_programs/sasp/natnum.passc%K,wc%K,wK5sC" ~Lzy6 test/all_programs/sasp/natnum.plc%K,wc%K,w$=kP. ;7%test/all_programs/sasp/path_loop.passc%K,wc%K,w=kp}~B~>Z5"#test/all_programs/sasp/path_loop.plc%K,wc%K,w8< {R,^Wϝ,&test/all_programs/sasp/queens_old.passc%K,wc%K,wN_ #;CJi$test/all_programs/sasp/queens_old.plc%K,wc%K,w"9tSIÃ$test/all_programs/simpleRPS-scasp.plc%K,wc%K,w#lZ5BBZ\3!test/all_programs/subset-scasp.plc%K,wc%K,w$bvώgv9uPx)test/all_programs/turingcomplete-scasp.plc%K,wc%K,w%I8+O?gѝtest/all_programs/vars.passc%K,wc%K,w&R{m0$OL)-test/all_programs/vars.plbTI0*ag s:;t;f{  8^" test/bench.shc%C6c%C6:3UdPJʕ1|CIu test/diff.plc%K,wc%K,w< oߩM, test/le_programs/bec_theory.inclc%K,wc%K,w j^ن`{fK*test/le_programs/citizenshiptrust-scasp.plc%K,wc%K,wW>$e\l؏36wQ)test/le_programs/criminaljustice-scasp.plc%K,wc%K,w #Wڅ`]L1V#3a"test/le_programs/escrow-scasp.jumpc%K,wc%K,wəf LXbPF#test/le_programs/family-le-scasp.plc%K,wc%K,wMGms':7)q,test/le_programs/impossibleancestor-scasp.plc%K,wc%K,w li)h<test/min_programs/solve_call.plc%K,wc%K,wm"v_5N.["test/min_programs/solve_findall.plc%K,wc%K,wqģ3test_sasp70 0 ɯӲr6ʦ0test_scasp77 1 $8n$@ j8p|weight_seq68 1 {_s,z.pJ.instances62 0 uoQ 66a2P test_forall8 0 %JTsaL[test_findall2 0 #c=O btest_tabling8 0 ZtN]&IT_Nmisc_programs7 0 cF{MvmRtest_justification5 0 ~V`?``q4h@prolog41 1 ªhPƞ9scasp40 4 nK(|w<1clp3 0 "ՕÈIgivҷweb2 2 L2O7QJUjs1 0 $lLM􄐓ϪLVcss1 0 B7R/3html3 0 I77ȚS#W7H=lang2 0 ҟ>mdeY'-y)vvManifest1 0 ;'aӄe examples103 5 8Un+!46pjembed2 0 $,.mv`dyncall8 1 2l)apas6 0 =|KY_R60Ycompiled3 0 zdMnKZ.r\'/T0benchmark_iclp1831 5 t,QY3)Sg>7zˊDtowers_hanoi15 0 ^s cdsasp_vs_scasp6 0 f:5.XV=traveling_salesman3 0 vGbq]:kMĢstream_data_reasoning3 0 V,:H^i+v^Ey)yale_shooting_scenario4 0 үL %^${R%benchmark_EventCalculus46 1 <:M˱۸|j5lopstr1946 3 l=С\4uBQoyaux-sasp4 0 y !h9"MsCASP-clingo25 3 ~\7 K{Klight11 0 +f2) vessel7 0 wJܕ/H븷ٔscripts4 0 P&0GD]I3event-calculus16 3 AV(WND@`MZscripts7 0 KnYd1]2k嚥example-tap4 0 :N9B3B J8X)example-light4 0 F(