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  N+ l$, ] LightweightJava:threads=4elapsed=48.092cpu=91.160gc=2.676factor=1.907zXZִF! I]ŗXf[&!8*TXzX蠎%]i&b==ʏ ]0'c"cp*ыXQx:<ȑ9-bן>-|\L @+t8aQvIЋy=B>9D/Yy ;˧@:P}xQ[$|TR\.\˴Xqa7^PE '1<$k'Y,W\1NfFX tChc#$Wے7#0 2?۠7AZ݌;fy`~#̢Y>w;U*4#utnRsy$u+/k #s5G ?Tiن3ܵ)Ę]xWqIe #vnAjף„tujS ʸ~l7k:&"]³̹xf8E+Pͥv*FW]${M-1?Ve E3M[SXuz2 ppuQUdIJy+ Z e7i+lN36D#EClHYJ #1O0ߢzF].DGk=##+dv.lbaiÝ!iS,` yiU&bݖR+3[%d/EY'#Z'?&!gd=Ď"p%U=%. A ydgwdKNv=$UU&,2dfE%@o. sav:77\3m[jۇ_2.6. WLo&yG5W:KF;)jd8n#r֝*D<[X`"[fO?9km`o?n3,aJƂ E a" $}xԬjbuc'8}XY2mC_ L C{ZT1$ 5$YߒsK[iCsW #)֍JJ;?г&ڬ7~e9AO^"bѮ?#S͓yzwN?Bt cv"æcchF(lk7DF{"x`*ױgYZ7zXZִF! "]ŗXi%H7ugjz5f liMP \v,,oAI`573J"LIL\yO1gq^jTXjW: 6YdZUXˆzz}JJd T'"o /=-e{f5I!ݯqj3}\夃y⤝ *ᆍEϰg!<pfF8=]P,]6To>X^,.șq參Mx|6=uX4$|g ?RA[ICť#"\eZȺCYۋ||Y`Hk^Jb$}ΎMF51#roHQlT-q雏%xZVrҦ6l]'6sXĤ`x2!HQ>`$3w]hO0ͮkHnƄ- tqEvtFj!*?#t3*DQPY *܅zHݕ[ִr?oֺSb >٧Dm?2ߋ7SoߓY$ Mg\?Tk2:$3 .Pnś %ph{!βPS *E}#^g0֒AMF^jzhXg+lb4DE]Gʣ2d|f#<]Qy"ob HX~M,8W^+ώ#?W/Tn?[8x~~GOZ l$~S88R kI:6>OF)?mɋShLŴ`lO^62lVZykHXZ*+1Gϴh`O'&v !bfzfAHzH56|ы02OHC$+6!Á+ς>)*0B֣3Tt"\"o&_d"@)mƞ˔K/:jl+¬ gN}G=[pk]r$ (. (ݲy!䈈Ja=4;5oH8ZF,֋#R9L $TznAFO\/A gHȐ~0#Vu}3[Iжݸ%QX{kn(X4a[uI¡!i5@j*GV v9H):3 &5J T`+`rg'a#?PӣE:/l6 iŒI׮bGr}dY5J9fimjшdH=0} FKD-MvNSu8#:-'GWT|틁% i4S~/woC>8&Tš"izo 6yq))\$6~\78 4Vi&|2nOBV;6unWU&M}D|F"dVV [SoUWcT*19\"p% >zJZck H0|}X:`#wNI-Ͷ\ҴJK8\NB}DW1KNgL7EK'v%^ 4XUS9SSMXA8rPbW(%f5g8xJo />uUuJK"gpl4jȂTVDف"I |*y4qH` mq,s~vt^Q.PMK2iH=zά2O>9YZߞ,0˺̔+7Ou.^iPA'es~6!WuJ!ڤDDOY{;d*-v ̫"쇥uUc0> 3~J MV- ( ^'7_h[-ʦZoKL4agYZ400b3e2187cef87016ca444232bfa0d908e6e952a3a1775be1ea4baf5315ad6630d6c2542be8f5bb f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e 85abb972e33d791a56eb0ae4d28a032db01c9061