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 JJ3/ t ] Laplace_Transform:threads=4elapsed=7.602cpu=28.716gc=0.424factor=3.787zXZִF! ;]ŗXf[& ny$d$Auc}a Lv~9G=RK"mGG cFZħIFxb0?Ml)~YY1fY \'.õntx /kI;ɷ1-P5[蜈ߠXb O.-uҪ)" LJr2\SMVz^=Wl<$ h@q5@tЇէت*5<K$/rBL\[:o (;,2#lk~`9h¾VSz~"O)̳5枎S[<bԚb3C Swʏ3%+'+TxtJvX'V+nO gmz8lܒɐ؂3__x/҄,eE#3k^!AX93_#RK(_΀݋-%m$w+_ͱIm7|%xL">txH{#;q3R=5wM z'U/u=@^e,_L{/.l1}MU&O{P582)'(/jgYZ7zXZִF! ]ŗXiɟe9 V<_xt21 ~s-㌕O4SIQpx{UZYՃv0Y =\ل<;>z'K[) &KZ,c cV?Z/OnMGS}{BBA^DHT mW .y0#gYZ7zXZִF! B]ŗXi%GGi}UMllzf1.vĮc߄Kz&ݢYb-be.<9lTbHj Ryrdn0:N̞ $g]m nIGYԈualנ] nJZ{e_lS Cԃ0\/uTˉMOd"h "2Uc-F8p7 m ic?Ju4O HXPj:4Lz*AA%@sCwytq*&(b ܊r9 .􄲶!E>Ywkig8Y{4ڙ+T 2A0|a(kc{oBn;evG zi]_1ʻ dggܰvVZ+yfF1Ae.ef3ev8d"K gzovRYgfPA_?j7I?gw4 ̵i%﯐Lz/&"yb'q^ w$:ϯݡ"L' ɟ3% bbџ.!~XT3)@KT5U&oiciô/rd9CҾ.kQzIi()Y:[Ϛ6++m9"rD%6ߤCM O@=\CN\֪֟srULAND ЗIlX0Zm (7cC]u˅d0~ŷ)@x{kny_-V]58;X)7cNϊ)7,y\` T_t=b9_\2e~\n1 ['e#`ܔAMT -dd- aEX Ćg\RN71߆/A8ʊ#y_H{s}̭[Os5mFHbGI''L bHx]Q=qGDVKg;4 [st,2dµ(>>VM:뮴F]iޢl0