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  = dd< ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.081cpu=31.376gc=1.680factor=4.437zXZִF! )]ŗXf1-q恈1`VnȆf ס@wp  қ@\Y|I ] Ha`c<6& cjKD lETY؁Ftl%6r4ra*ןT;$m)Ӯ KѼ  ĜV&W>㖄?l;ܾoRg͂I'zJ;FJ6~,p!,f73yK7vE8{Mk95u>\nHIYs5Y4&eF`#7xx2@SNh[(]+'y7Ple gi4صp$|I z>ncgt7Snimf&y"ᆞd^A$8 z $y@t^K|uJ~MEm3]?/HIHntiɅih0]@Q!@&8l $VXR ܜ#YX,ICG3hfM&%Q̥#l3gYZ7zXZִF! k]ŗXiɟ1$BQ0dE8sM \`Nᵝ^> ZBfҙ}MXil5[tP!~-+H]Dkօ,讯$;+ˆWT 2:~{`O!__?MBhr|RhyA^>O/Tco =)uo\)B!G}nNIZ OދU"')bƘB;bNf**-"($aքHdEI[)yN@({( YGe[PGp;Qqs'ߥT֪9tF(N$5j2RL|Ne8D11+n2{2tHGT怜)kxh#kpbRO.xfB߹1WmJ9{:$>Orb\FxSB!a?uO}ɸWSyº6OPF+mW{;ە ߡRXh]{8eJdM[%183 QY_|yl\\͉X)CN="[944w3d=|~hkC;>ŮDig1?Et )'CB5dw\L f yD_KBʋ2 B1eXGq> 2Ɣpa2q%f1 Q 4{LyH6W vzؖohGt Augv}iw>RCIzn`{@5^ЊOƘBT3v?K",r]EF/,_hޱj6ɥM߅bgYZ8806b6013ba3d956102ea2601078d8969863ed4042a32478847503f3f85ef33601da5d3576da9156 89ede7dc0b82d7f6167cc537096edf93d9e4a1bb dc9691f894f2b16fead545ef8fd13ae2982ca897 369fc16aa494f69d0e5ca704525754e09bb0fc424469c4782d3ede1bbafad96378264d36ce6e925d = HOL-Nonstandard_Analysis