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 ~~w#,$ ]/ PseudoHoops:threads=2elapsed=108.977cpu=139.288gc=4.604factor=1.287zXZִF! e]ŗXf1-/6vR[3£ˎP$x}swZ  *ڑzIߚ蟃kϩ)Z Twœ"t=(x6`R^RWE ˵؄`KKkf!Ĩ[(e70M O3fT}y(AEI*$7NPوլٶE4hz}IOpY#2-ЇVE9Z^jt #W WݒU7רX,ºV c-c ctۍF0䌍+U-%f{M^iK}{A>Gj6QP9Gg4Eem\E[Pyt1!, BX[b}Y3NzK^i6tfgWZ6r|ϷZ6 $ P}HmU< }пŲYst=Xk^*l:='}Y&!mtS^]0Za"˹YϠ-Bd)B-4—> tEWx^r>$v6s[jjr5ij ٤u(.3^Y|U{9_) ff8.2-oZUQz@Dq 6)mwqǷ5/k,!- 9! '/ІV~9^]/QsbGyb'ֽxGo/ +Cfx5jԊS8c4º\lH~U1IYcN:9&wlzB)8E]QQ0pb={oʄ8}J YG뢭ĄwmRx7mrbvB~$K}R3[BGL"3F `8tgFEUs̷hE/Ԏr\fV֩!:T "OZ_FuaʚV1-w@Xg&qCP~_V [cˎJYsp| dֱ )ʾq >~où:eS F1O!8.G?`_%}kBW%CG~@C6dԹ~& Nq!3As\#{DEƈrp1KzK:ˠA)}2 Ja,w$ o\}ݡZE~dX^nFon,(nn+#|W);~[ݹZLCi٪)7?#󠤙nZ10V_d5xQеQpd?.Fzo"_&P5Og.4{62OEЈLٸ`c~X"9_0BTcBlSo{l#Kڏ??G+~lMicyXU8!7x7QIl%<ްJ|`˓Xhx~;t!u EG܋dʧsjz[l3ífpQki;2K*A;EZi}b( B2e1CZڵp2$c^T*s@dNË]W ;`[Ώ; =M7i (ldnBq} "T3f,6Ps-dWB4S~D;beoC*u@NuՔ͑)K18kp^JˑRٹ`Ɲ_RB{)₁;uВ|9o}@Ͽ 杦J'$ݜs׋ 7Y6';8ToQ` v0 M*k+$3iW?,šs%rpEof\ذ>%Ƶ2̤ N*=v;] wӰۃw'0|?* W`rHxs6㲤W1~/* .G$pʺq2Ta$HD-nHuڂ]?Ez9šVuP.kNI։`GEtn)qd)=%4hSRl^pVq;Gq)atr^7FJbZ-BJ!2}0 aI]!I Oh'W9ag6fRdv匷ыC8e%(FƵ|+7 _Pmlh|rD>5=܆*#:m';Og{;)jBfqe # PseudoHoops;v4kx=D%Pӆ/ս@ESFŌzrX5$jCI|pu3!!G"6X=M-LA264U.˗ÿ+fkfq8W&:Z"?pؖ; HQB( A;E"q13we۠1#nkra'ĺ`գΉ>OOUuO*vt_Ae+7Jsܤ?vmh Dg>4{+#t}'+|q˙+ZE~v ۢH*ܘ~ !DϴS AoyԭK薣&1$ļw 48&/QuآZwVCTi40MD)-X$ J9hFÁoP4=N z^Z,&^i>&4V"F W$ʩt.#P #p(<&:I [jmYCt C#C )T ;vb}RMI 9zwr?pV;T1`ԸeG|sleG i=@09gxLt14L1+6Y/.3h3(q֯P=7zyL,[s9e~jഺq;-nkpit"? 75TڻXC6_x]N U>OXl izz*}BfɁ1`)2/U?.b 1V GIJ>޴Oe4#kw6O $A+R@@"f!%T;_-e#*:Zv9?w. Ļ_+(:HW*t]"tJEđOTfR >y߂T%ZJKy5p_vzE2:5S#?NfxU`jJϴjKJ2F5`IFd3wRFHPE[=c<`? 1GWԧؔСV5$jp`2O!u?4C.B."GWB[(`[*+=#@UWwzf]]=B K;KXdQUB ͭE5q17H,i˶5گ0{왝my[?ݽm4A kPlNƺhe}θ@;6򻙠.6twb/ -V2ތ< [!G{R&\MZg;-&Kh2M_Z')P,=Cz۵mV^A?+<ţm7<,QՑ;W%&|P6Oo42'>~ΌU ͮW$PvRqeM"1Y8TDtL~Z9ȆC)Bo qM*~H7|IJì)Am|x`X$H.bIY&V{C}HΊ.C48JBR|X+9c/pl\2i|S [ j:lq5~`×PDC$"-0Y|;1 To>3z'S%xw>5G?̊= 铏hpE: +\uz~3:3:@Q5fXޝd?82n2c)]8 !53TP1x^bBz6'4+y7ԯ@>W Tr)d#W>x8|/L sqڣYFS^7>.ipYB9MT"h{OFZWo 4Ӭ)lDVkꘌ7w2͘kMxY+%r_sNhXwL,]9^vJ^ !,P$e-o k41`%8q:@J[Y$U*d:G|ʈ z8NIʃZ?t\}n У6;טϸ+S|X;UXmDH`Q@[+MoAcC[4[BZ/P*Jk|:Szvz0c-"9?Rǘo?;_ӫ R׊{*ѷj҆?9;j kdsݡV`,<~q>/T]('o]W j :5<)4TnO={.Fv 2H 'Dzm' iPxla4Wbm*qO_gˇ[>fI-F!#yEe9Dz gv?m6aIE-XU^v㧐(qˠH WjeHu}Nj0Uh )z_$#EWy mN9+* u(u+#QD^`v( Eė#l*_~WtDALٿڸc ]E!i볆?aM f/hR-;Vs&KŅGW"FL@鵥 R/fUIy tf[<%s/܍%V'%F-8mvY Y[!MC6u_u;ѹ"thn.6`q %_C45w_w;fL̹Z;*Ĩzrf7ɴ͏Wٙm8tĜX& pw"xk/.Dd?!tdMkxgh Ʀ:6 B4| U<|׮{ tTE a;{Fs>)Ǟc9ve.M%89Mw桪 %E!bE* t)Yctp ?E5͐'wO |H)]oA=NkWP0<0^@hj7yyPI!Ɠ6^9!!9 SLӲpU2WakE+^ջσH-Byf2/V%np^Bvc0A`. Y {"ڱ}j. !Fgw`>~M;x&$]O0ީOkYЛ`O`^SUŮU]p_j~) @KgYZ8e6a6072c26c74d63ede24461abefcc3e2668af68ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a