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 O tD ]/]HOLCF:threads=6elapsed=11.578cpu=36.844gc=1.836factor=3.187zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0ew~A>..cdO>al#jOV=<vĺTUc b`N9E׵# $YŮyƍ />ڃM +% O9˘D&aU #K$ɔ\Θ l|$Ɇa 4(~lt°vq@=ʨa#aJ['c 9X^3Y q+t+Ѧ=~Oroi{MM[+J&=07al[x_6`euqA)T/xy3bki?y@M!tdR{!:ogYZ7zXZִF! F]ŗXiɟ>Ӈɇ9S2]X|;kQk>*}@JBP 5EG.받-O(C9\IF~ꬰ͘;iGίt"A'E:еP(CDͽ;|ɠ4eꚍ hl@su'u3F7jS%T5haDlf Ã;'d- ǘ-8y>XunבLefޟ&Z2W-v"SN1w]D1X2|B)3o5^wRXheq$)md(@K%˦xl 0LUh1m%0Ԧ߻T'rpm:fh,*)8ij䄎{+ϲRQk.wҽK )v"GWf7pݽE;QczHx\"@tn`H+qm =t%6DxgYZ7zXZִF! C]ŗXi%B!`C'K= -1 ěW\5S&bڸnQ(@҂iʷBh`! h8Ɬnun::ov~,P rXt9|ͅ#,mu+CO:-"R'}B-ңؑ<}^h=y"=溺5l_H00u/h7m-([E4UC]qd%_U  n(9Um98@4}=YjzWjgzc<%笧'jpLGV[&.7tdMw w獉k}?5* '!q] c-+n:rr uƸ 7"̶$!CC;Ac ⧭iyq,B?tvsn߲;+:(M6JSW/0$A+[;c3It~?-4?HnI' 8*9(̂dwgiqnR%)dL*,O@kMAfU< -Ҿf=pPYwTxia˜ nAˆZA]&:ԃ/䍨YROd|"{K4!P5~vm"m5eZ//.[N}b^N_h{vH" Aa2lcWP_ j{?n` 4l3z PP_crB$D3.S qro Ma&ELd0 -c; ٻcj9;,k<`abJҶ'Y虱o0YOifX+Ic}. 㴴8> {" >@ s`l/Ub2r jsu1Owld$"g}`q%}ܛ|uI@#d_ lIZڹpU~,cxiNe%hI̊ȒoʹF3(i'ZZXlGy4uL)K"k`Ѩ69p6 Ό6/q/ :l=U.oل]? 'LJzT)PD!rM*Cc}k;4}:F)J_k!},ǭ