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  dOpL44 ]/ Aristotles_Assertoric_Syllogistic:threads=4elapsed=0.357cpu=0.688gc=0.0007zXZִF! tb]ŗXiɟ  Q p¿Ubk\:JɌԚm`}ddmRJpWyM .oRJԮGm$CO?uM(R~udU}YZ7zXZִF! jV]ŗXiɟ;x=3Yf]k7_6{LZ;^9)0WZaϠ3}mw2F쁢brk}YZ7zXZִF! 3]ŗXi%BzTS0ɏݘuGjGsY,56GY6k ӑ*~ oq//bi5iJ;SlNiCL޵6c ?Hlc~2\ 1|Wb*G@IVy WuW{DFG5l#E = =JVS#=N 9gYZ61d0709e70785258365b731ae971235b8d9c9afd96398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 $O Aristotles_Assertoric_Syllogistic OOy% TAristotles_Assertoric_SyllogisticAristotles_Assertoric_Syllogistic.AristotlesAssertoricdocument.tex7zXZִF! j]A-MՋhvG"uIBm5`H#A$-bAt&t5QXԅR A2·#JTԫJ ωU_#oK)oV/"tSM|PVz ,)џ YØ#[6!S鏞ٮ8} xLyN; o$Ԫ4K-߁D¦M޴◧#Bm9f`q zI 5,m(Xԅꠙ:;_'OT{śpi$SʵT{0:\oAswA8/BxSQ]F`PdUHԭ8:>L?4>eu^"O:&وʅZa#x x4dCjiZD\{yƸ(=}J[T!{H(N4x{ ]0laAzbM=O!Jxs_>+%`9tSȟS0E `}OIKK}vG%5j#m b2a;.@{r#|iK*QkEhr;hns*jfA {ik2v%3x}閒x&]MJt ^W=m)NKgkLS6{lТ,wB;|_(twC3Gi(Tz{pz6y }QmJC[EvS4_]#iCN)۾1>bd gX?Cƹyt2x$i\тiais50q#6`p^ Hn/Om{gXw6  +X@)$ ŏxM rz! Dэ =ƴt|1I*|>I#'_شkxӮ^Oϰ ܕ'%to j`@ qN"UM+V>}q1QoȻF'e Q3DD>XFOtJNJyd!'9M^\ /3)٠Lk޿эsh'c}>͝qZ2 kfDwFH~fliDׇTbjG)Bë#M#Ph EOLvOʺ< -äV~4+ ڏjÓn 7/ܲ~ hRZP98WD(u[ :sUR>iw w$GM'h M2]Mlu\DB _Jx|Y&jM+fa7Cuw,,jEpDaz[քNHw!l$@0vEj l+ήnq\8R'yj#io;¿A&e&} t/kMکsp-\a6u]fw \)Xm>r$|B_@8ZO9b"skA]|5BmAqЊT\ YޱrvlVr]>eݗ17B%i*.*י/Fe7$i>"VQ$డ`x=? b=n/2'47S'}hL3ޯ}aw\Sb|I4k؆/c"OGHrE$c!V|Jk ^;%ճo!ﱬx%Q>BjMW^{_v ,ڮZQce^AiYF.7%)*nga?V]5x~9|l3|sWJ(AMCZ#k_w3-LhQ"`8BZ(2ɟͬAGe`2so2Hg؟A _$ ^fZDmKBӃ!LٻU+'XcQm)qE44"jԀ7^lU0eלodzN{|M 3ʎ*/8̛~s=Zu}z]F+Nī/&MTڲx amX=/*"v~?8&c1Ye5Vȕ_w[FfE|D Bw )ΞDv#0у y).3ҮO$_;/9H1.Ӑ8.h $^b9/w\zc+; ̇ ."G[I[YS<[ZF sUVLwdPOU佴o~){~~]y~CULGݶ.bܒe> ր;Zc1(5E.!}|* 5}Fħ@]5o7rBܩ!D3Uû<$2,xD;Bg.O&dWZ{6BһoҠ"!Sz2JƹR"mW+}50|Duc֓y-<+I^ݗ2Q7dF#ꪠEat5u n|Lmr-OF\\2Í(riֳZ$vYK@[=&<%w%UM !KB(q5P{<*6fT4es!:Zy)tWJ` zq'l*3dqUrnLFDN dޣDEr3>R-9z)",B=BRz+S o'P6E1Sj QXu]Y静h"?thT2a`}P<ݦs?c2 Dh  `'+16(؈+RO6GgYZ hOy% Aristotles_Assertoric_SyllogisticAristotles_Assertoric_Syllogistic.AristotlesAssertoricdocument.tex