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  )D | ]S MFMC_Countable:threads=2elapsed=95.476cpu=172.916gc=6.280factor=1.817zXZִF! g ]ŗXf1-/6vRZr~yյG!ޥo(?{~%R{e0v jxc6+f2Q&z_hK^ZnU⁒T'Hf߽.jbӹA+Srt  XU^kچyL.lvwAgfu9ܣGomF~0Lq\NUfp(qJg2 F)ֺFʓԭncj-_5B05w[L<a˒^ӫިֵ瘦{I5"s~=2DQc7e FdT`t&j,mdFFI]S)?*U̜ ) MFMC_Countable@94޴ڼp SàXxG(spnzN̼?H;,0yTFQRi(O+{PmC;9fa @ek%9DNԾlQN$SF>>9&~}Y(1N=rw=L΂-%AK~68Bq']&]cKa}ߏ1l]dTc4U=[c$*.?W:&Jmi3 ^pU0fŌv'G^$!b`Ρ3Y?oOp:V/&Sـ_!9'!va[O[\U%_TⰻKiqicNêSQ OB@W 8Ou=~#GUm됈Q81q7gzHK8kA!_WKUc&85VV")XНL6*%EݣCe"c(0,r%Uے@\e=^83,~d#dLo &E+7vh:ݢz_BIGLMH0)?U@o: UR5;z Yxܶ ǰ4drx%1-Sz]~/ 2i'N!`s)Yvg!ίG'8SZPzE0aW@!\)h.ߺ7/tBX!Y?AuvTѓ|#hV y5>fj٬K8.Xů FFdu/Qx)kO5P*M4*Lf'20;)'.q>} v4ic L;P8.|=n!š= tTow,3`V9y d~Ǝ4cCYUˀd>w=^EfՀcҵWh^8({3GؾQ`Y K̏JKov`/I.eӔoٸ_h.[<Ĩooޕ!ځ>5*ɇ5s&啭5絁ڦ7+[)6BizpY3+fPLXMD! xSd%=7tH"e5 /Q:sZssC|?Bin[^hjnt sF Zx)"AF‡|_5,;\xHbU@:%8gza*Q> IuÃɪQY]+$2I/XF=cϑ3e f1 ]TEwG&Eנ8&0hD͗k< ))miFq{<#Zchͥ!e3!>ʧAYbU2 )>B 8 R=;H*29u~9yAfY݇}륎GvOG)֡ CTx̎R-ozcb{'5% /#FDdeu,Y2S@j,x|w@\O*G\LW65v9[%<2)7:NT5&:맺DX}\1)tMdOhFw[?`Y4nrMD5Z*5`Xm#'/cwisaj܆]p*"<2%uE}o 5k55Oov1+"xd>_yșlǧRd͙0"cNVE^܊ T:Sڴw+R{琑UBHrNcᲺxpY(B=($zK4N"r.K((?'%:/$enN/[)|pF[(Wn+! >:2B6mE5|µ9A(:}Î䳉+ >hKM{{xe1Q\n?sLs})?Ezx'`w)`묶rrRu- 85ӯ) 2kB-k+l:59tY\̏h >E<7sLj26R\&-pɅCNT<[Lo5$jÛT8bkDֹ\/O!uxPgB\)l\:}r/|jk~Opc@%99,XD(IΝ? ;3 *4&w΄ƑG![vdQs3΄WSŘyNYG@;V-#+`r@I`ȂW]i#&RDv|GiDu\/b(K!ղ1~+rBU9(ohmj l@Rpib.ƩICRBͨ@FȆ ghnט!" DR1N ?wWs8i`s?la/HGAno`AS.G ˷-g@.p~XlI֚CU5ꓢ؁C5m rw,LEg;3_1[:X W0Ƽ;sװR@@Hk=OO<42X iH~6?Etپn1I$ dMؑkӑd^Q\vZύ4?o;xU _jXրKh&O>.H #xVf\00>ϑ>c`KL@ys*ݚsҠNaFF}@ygV Z:ӡo[. 盧׭/2g8:\3W] q}<zwPOS!WSRN-U" 3|E<14_"3n@L _Vרh*&F'}G_󌼲Wl-ݭKa;Mj85IJI i'W!d>ݩa㥽L{b(C }1y+e/ ٞsiNٞ&꘯ 7>7Ns2i 6R7qjSk2A-砪'hs_qJ\]+kq9Rr%et||@÷F0\-گ ZMIL*#3*!y=|Ġ>zJAqi5gY['P6c J ͨe`ғ,T"K,ٿ DnЇM +=WJG 4'rIҰLEiMj tŁ}'_mHT~Al;tʙ)i9 "`//놚_.'K3IdSk&C{Ѿ$۰f?>R`tޯD<=THD*yy wIK+V3zđnde_?uN|a.0bAA6R{JNF)'fN֙|d .BU*k99AȰKHşJ ]|5X/? oZ#FT*y; "mwpC,^VPED +[dO&C&x&3R[Qw +m7|)1c P"n9Mb`Wz !ݥ"9p3`O|WZ23 \B[H!wk `1QM1 hQ>7GT1}xbz |܈Lx+oaID ׼YN=?ùzĨ؞nڂTЊOv65d'}Q+ʋoҫ16݅\x{RpeяeIFXǸ<8ݍHu_447E! w7_#q0 ɪ$m9eG" 0dE쏧L CȽww>"Ep ga^ ` wlW_ (oςLUn4F=6pCDA~lxVV$;@?cDߞg{Wg+h͚:T#j2X`Ã䱕tt3e0'RlYD߬RuNVI7;K/ΰ 4XXc3("@1;@8cAYݞv4?nμ(Ua7:%KoR ~חY'ẗTFArrH HU$!ur*eGj@Oz]3܌p.Ř"E!()lĊ{ncb[=h@/ǙzNS.I*+gYZ2a550d0a47b2ee50b175389d853f9588d97bb0013bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 3109ebb80bade0add97a25bda6f087f50eb33144 7e2e0eff77da80b156d0c2ba00ff916952c078ca