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  wp | ]/ HOL-TPTP:threads=4elapsed=7.669cpu=8.984gc=0.1567zXZִF! ]ŗXiɟH)0%o.h I[긽1)!Ⴉd<4UJ,J|_Ŗ'v"дFWթ,hU.Vu}BVV_}qy纒w>?T   HOL-TPTP   M7Z(뤷ύGmӀؘ$ij%QuڢJ{9X⚡,RPo`z#HcצkA It;kٺ]8 VJ "Oc!QRrLhqm as)0%wK#Ո5𬋌fj9Hg)L;qLڔqZP3&:Z('rrAHRX8!8mSR'm}p`m m'%wxCfamAKWl9E.NIQ7($ob9@5q6xak*J \HN lc6Af>%^طV@ܷSbx~qs5Z'B~_ćyrjUaٸ> ow&4k[_S:ƅy'D;KRT}֘ohO1w!hg;9yv7H9rFо4> RI)vi?OW6쟵 OL|Y '#bo-P" nێq7QحyK`Ϧ8I3l(d+IدFZ)x-`#S%L2OT 7B]*J@nY!HSr7YD~_&",Nw)i F=m-H\v1y128-Mq9ps}+ Af8b@/!Cq1[lJu PP&22S""J;TS}Os–$iM%Fjso?(3,c"$j (e,MI[} [zY-@^ 5~79:mG8Y(oqJ3s+%Dj<>6=^ʵ& jtc'KS>ʷܖ\| <q7Ll|(yT̊.Cu0=& W78JTH͇5Iao4qMz$`'|ԂW8}Hb򊨃wY`LzMPxjF%CהuzسEPCq)`#ʴ).)d]tmr(Ku#(Or<~Ν(HnI8>WhL4C9ͻ" Dy a*'`鲫.o9rL pto%eC4FonO r/hzy6v% '`yeK!$YRi15PؔV"vyNdv}Sl[ Tq=S*@1/ފT{4^X'ξ0FܺbxwRzs_XY֟ 09r< LZdO]v~*60F8rKԙ0%^9$d]X 0 F j8ʵ _Y_)#U9Jͱ0ek;v^dJ(->1<ձx wÈYjB9}lRVM"Ci̙#QZNJ'^fBݤ4op`e"p} )i5NNsMN*=r_:[=;:[gQ -(~ȳq ADӝ :Ԇ)LfgW4̲!E L:T&G'D2z /b%nKjT*~Aaظ W=t~m@4xm7jfx.3f ʼnW〫i0ǙdkNCQV\(1zڴ 9Rv]LЅ?olvgؤg_p, _sK؅ -Bƛ)z '%؅9 FUڜ">'_k|I^I41ph_Fn:AA'Mv$7hEG3Z[u =BNAb*zhS#A6I7 v-awRy~CJ7g9|F^VM1KldD($ rUU惇,nmYˡז pU(C;2յ4 4 -EQO|I *Tqq3Ҥ?[Pm6vn%J<}:WiCFIzPaіYșgm!gYZ7zXZִF! ]ŗXiɟ1{nOąmu ꅣ%G+V>{Od?^WZn gD!V KbHwo:TmrLTp"ue`p{j0:%k[J5'?,CIJlq3 kXNSR R-KUSDвxÛ{rQٶe=Qꎖw !g~qVTZ :QOZdN%](DBgYZ7zXZִF! $V]ŗXi%L&$®Rl% DOG%(l=&%m.Ewsp朘sqm޳Ÿv_lO1c"79JL_ ;+m\gR]fXUkRo\rަs4K߈z5rڗ