SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ]Od4t ]/ Aristotles_Assertoric_Syllogistic:threads=4elapsed=0.336cpu=0.656gc=0.000factor=1.957zXZִF! 9i]ŗXiɟDYK<;9I"g]8uK1 fi% w7ӟU . 0$IS#v&ke{}~~6Bt1n)֋voĬo\\ߘlȮvxu |#|k_͹zpkzJ{#a8 Aq%B@Vw$xk J!2O nt=Y[O3US\T$pӚS,GKAmX]Y )։ r?1呩9Q9>uR|Bfɛ[у nz@НDT14 -"&6aWK>B<) c.QϔB ɀ)[ MY\ODNhB) KBBȠU+n!Tq9Q;H2@%mY.\,nf}HVS|g}ɽr\#\ Nv!bf1z6L)SKuzz)(|Oxnbg UHrz>.ȸd,hkr̓.%5ʎ̺_;6'#IUsRBM6V f=ހ$׮7-_7b wkb]yY-n~4 2}tJn2w*~.O@Qw~ڠlm3Qy4X6mK3lonژDwB6vOK*mm`}FR%f^ J7p8\j}`Xr,ݷ-2j `^ dG:QNHbПc,iߖHT.vpۤF@l` *_ xxmqRh u$U.3V6V,ޒ_"vcP0s, Y>gPW7"M3%b տbʭCВyŽz}N4qM!(- -þpAnOtx|{7o/[fJ׾D"*%xPx JZϺNDz0RA_aB[+sBeffåR{7_-`W~#ƬzkVݼ:3-/[X65dʝS]fydb+6+f1,[}s${h #|GE}n7cф Fн 7ꨟoItB):584cah; J͠9t4x/N0?GQ8ۖq:@`:~5H~YkemHaOTUD@>XbsfW:?p2a)Vb0h8p=3=g瘠h. iC;Aƞ_Z9QT7d)}EF%@SgYZf496834efdf91895392df747e69a92b4a1aa13c38215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 $O Aristotles_Assertoric_Syllogistic