SQLite format 3@ .0:  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 H= \\D ]S]HOL-Nonstandard_Analysis:threads=4elapsed=11.420cpu=36.064gc=1.448factor=3.167zXZִF! H%]ŗXf1-q恈1`VnȆf ס@wp  қ@\Y|I ] Ha`c< HHdT.sR 5v䎿?!N^2CӑxA د\ 4> .u1t336J<N{v/vV6q7u^[Y\_UuжÞ/@Z7`jzw^F j^[15W@,ijߠvά3{@>gS>3=2&Mvb04 )WL#IS`W"0Ě:4Ǯoիn[.bSJe!<36i[N }]9b'CbD)"}vVIåJ,P SmaѠ8˔'a3~tK#:aHO%4iB,o16i(<)@DZŧ0 oa-yKcΗ df\&?倐ґO0@^U$`رgYZ7zXZִF! f]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>M/MhyG#u( 0R42N&N48 ?]=*pC,UWGnavtT ._BZրɝHzI7gUޟզ\K<sk[~&園wW1!0i9+}bi9z& H i:&h ̛K~rihL' |O s7՛Pɬ>m3 zM8VicX0wn=xrN@c+27GI_mnqXnUMq`H=mL]}=xXgQ>[tb?%G!ɛ1%3:2hDRV^z"MWJ6RDa-!$f¤q"=f;|a):w_!?XM4 ~XQ瀘N t?} IB/Zoain!:HFJIcjb+O0z\'8ܐX< 4l6π?\jʍE[YzfșU|hL\p~]e h6SD2MLjk,󻐾2IXG^w&?``^Z Q u9. GzF`u#w-lJO9eN W%j9).zAµ_uŽĤྲྀlH׼$rS|*ȯs|=ߥ5aU. *ӭ:&xcQi+QEKCFBcg~ lXA=KV DaQw:IMY.Vٔ4SZ)P'ǀS0zyhjeV~} AKd;MxA"+|&;EbyKh{,fck.nJ %eK>@DD$%ģXSC: &-aØunb4ޝ΢4/lAz񐸉qiBܕ>;\;;٫^D~BX;2h䊤zwB<qgx3k1n4eVF0_0*]" Ɉ@U1*AS3$m#IrTTLy7#Ue]|xV ^(uXNpoAwR{oJG q PsEHלh/oKLcv|# Ȁ\[ dV;F|mJe DS =hrb,Bf/<k7We؍԰\_vܻ~=G7߳^X:w*v'󥔼(H?ִ)iH5ը1c ݰ p¹HCd것O / ud @QR"g6څnfqg[@doL~ ֽ3;gYZ24c2a805d7eee26f57c7023f4daa9744ef1d54fe4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 17d03261cfa6b3f7a3b00fc6599df4c0af151fd9 4074a4e09bd0fd3fc9fcde79e3b01acb31f0e567feb0d757e4f69a4761939f70f7b76141631c8dc8 = HOL-Nonstandard_Analysis