SQLite format 3@ . BBh77otableisabelle_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  1 T| ]]Abstract-Rewriting:threads=2elapsed=36.539cpu=61.892gc=2.916factor=1.697zXZִF! d]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`b388~zc-XchȷO\σn̿"xN$vWk3y2Пc=$ZgڝTCXY+f+ypވs?ڮp<X~FsZ1NPFT'_,,`3 3(0Z7M{($ 0|rq-ߖA ֕Z_; uZۑt%X3fB]6j_n D~ VuF2ǎ 0ިuP6*v>a_{n+0+2Cgx\?֩ . 1 Abstract-RewritingHUC^Y.ЁfVvusXPOuUk b S}_ 4zbeqSGL8֪^.//x?s'۵Zg'ׂ+OaKYݵ`[dՉ}oK<"r_shJt *Y7@3+ 3y rS*YqwСAqHVOSrjN/C#{d; Ad? r1>`1~9?y3 },B/Į pM (=Y0ap!CRG6#(x6 P:zSsfHiZz3S9d^ԥH)YS9JNp > ?TH#}~Уɓjt T< ^fO@S[VQ CXy}KOb̡BhY?UgYZ7zXZִF! 5]ŗXiɟCrhi^IxDY?Av|4z3NFӯq!7҈w2Nx墎DW1 kŞd"PPFi)1FY=w61\N.W3*ZA'e)6qV<&l隼H:dEMqHQfa0(ɮJIJ]I)lU_uN:0u| "ytl3vdRjJYA E5D'"~Cܜ$"NjHP2T0zgYZ7zXZִF! ]ŗXi%92%)͗>|Z`|P@y8eY#EIѳC23KOCR djrbו*qo`%. tQ ${(dNr޴j<\ĥ!:dOB6|R1"z c@FĬ 9G3880ū%O'h^:#=AW[jX+,*1S r]ᴯknqp ]݁ |.VE L2_r?!- r۰h'?!WbV5VKNixN;&]=Y- 5>9TxMYoՔD#i2#,ӗ *I!"!t| 8b E\ҌX#2QoUpAgGҦN7J&ם( {~\~wG7s$s3ّ s7|5o> *[j)z 5iX_=331%R!7U`j Gw9!H'wT]* L6;uuf/1p v p䝮4!ճ]4/qj7uqќ*"e~_E<Ⅱn=sPZ=;t+#!O1 kn*~A=ԻSL9d:*#[4s&$!-7 N(G lڿŤ%7_)r}q0H?gy^׈G҄q"El5u2g>a4ޮTs~ULP zsTRjbNbD<ݥ` .")%K,0E%4?+!zb[Q]=zg=Y;4c>#'WM_ !LeIS7^lϮ{XwH+Y@o~\Vݾ=;g{Jɋ흓v{#4+e+- w ׁqN{Fk;c%.t"8`߃P2&d$A |/df K9I5@Gˉma/آ:fڰ1Mz쪌V^ىEKU_ X5UA^BSTtF)išQL^dÐ73/t\ydIJ%s鲚R:{i|4ڕ*$P!TZ@t0ooʰş MɁ+ĺTБkT…M[̯ OH\{fh-4]$_> }[蝉A\2O0qlD U#GSE9!_u)NN."FU+2.R<)KUzBJ%/`uWV]ZTU!"vO1j!}z RSo/FRImg?6 |~l5"t^̀XAK=\ㄳ̃syu@K=^Jp:aԴs#b[M%]3jlk>&B/4҇smni?xHXfauyPJiSF<Lˏ? bUB@>7@s0sԥ~sT"#5|أ$o&mU*)qOeI#y2i{7 c)8ĶCY>CbW@w1ځ!l'"XXC{=Z IM 9znlOfr+G2D`e+~m N9XQ#08*øscQi[Q}`}s7b9g[-WnA4dNdH+t*pdiQ'{;o71B$9y:: ?}x < ?; =EBǎ_L5I[ͧb7 >$Y!1f M`,TnA[z@Zc_QP|kԒt6"jEsg`Lwc!7(0Jj'E`\{'RSyR%K#qjڜ- geܞ~; \e#9 nx&,_/RSrv ٤, ɵ ZJ|$u@A'?/D$ |њ?`S-|[ᰝ#PSaTSZ+֙߻8}:$*߾/Gv~ Zj]:RR<76GՇUU6(IezgYZa6f784c6acc2e0a30873cc10791484bec69187e6f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 daf773399df2d213d8f31040a17ff1b2e88164e2592d7b6c1f390e34cb6d8eb4444538023c0bb569