SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 k-|\ I% AutoFocus-Stream:threads=2elapsed=72.226cpu=121.676gc=2.004factor=1.687zXZִF! ]v]ŗXf1-/6vRZ]](5øF<<8";,5Z\9/9.8@+bc!oI_TۚC~ hRKj#$^WהWVzvL c 54H31ō4ZKq&Yl'3§28~|t׍WO&՚i O+|&Or`3aϯKXkʗflэ5eF_83Iyv[eb!M h6Ti%Y$(C< `1p7fC4>9p|hܷ2obR0䇢Ψ.&<3>227cKGekEUn(s{--s׷X/bPʴr:G&͏vJ\qwgFv%)4iUQ6v`U6zH+#4a"GX(a=<  N,K&yO޵F6M8~LԘ4y &}#sסAi]a7vi$d0~ wA98A]=5sX,j2uy*7'Ot>%1U _@ ԡ~DI>J21YBrK~%;;qSV.}'*CƇƵz~ sxM,|M0mD(ی>qfY^dG!6av)BB(&2BH؏:epba W5Q9~8e(4tmۯ`S%\X=Um9og*S}k[.9[Pbu1J,vY} o`/‚m2 ߨ=Dr3(&L#l$0b,!ь[p #l&:B\֤PuQ$L~3sgz9C"G sDkWDLޛwv~ѕB?4YxW)]St+4ĥCUt^BJ(A  t )ZcGAң}[0]}eL1wF21b+,ٲ3Bd̑-n_7W+ۑi@dS'yrQ@w Hv_,44)7kßFs0h@#x x dsgy 2or'!N7$ҸCIU7[ %5uM5zxaa Ks ^0er:[ʓ!ro<Ĩx;1Y\*&AU .D9&h@Oi\iGSH=_IQ 3:TFѲ#*fqFo*$6nNU[3A;j:xbVpAh(iEFɄxBHH{ **:,F/G .IZ[gItT:49_ONa2 $L:Jm 7_&,5`>@r{RF[-$aÀT=:ʨ۬ Ȼ}AgYZ7zXZִF! d}']ŗXi%6 5tecH4[drtN粗#=.eo - AutoFocus-Streamrsr- $W8H{ B- a40<,Yt oI_5+qv($pIՈ!%k,&͆7P.rɏlvjFuT??օ77e+t#]> FAP8l'F^%$Гǹ T<<,q]wuu2ckN Wd*V<1PGQgtQ櫨`d-b0un9,ǜu"w Cn3>I ZUAjZu v+ҿ?y~OznJ7#K:}&CdOwmjH*Fh-d3wkbeu礿gTuJTply*JtsÊoh;=rpBNz 9!c<2xQѦP]e2 m$cpQ:*ѧl|p%/*uTI\U2Fy,h- R!.p/e]uAL3Q,e,t4{sq8oszt8sq."sA 旲z\@פQƳ-Jh X+J)R/?( 4N$>kbڳj@])NDB,J4!ӧ ,oqJ/ʈ3] c0; [D>GL+?H0J0|7QJpT_ Sh&ԁ`z<+TUaǃN#~4`WTh>VAX@fDB?d6c8-ƮՈDl@#ɟ e vXL NWl81314%Ŧa=9Ne`89C\ɮKGޛ|4N $1AW/k5>P*VݩCU2ibb 2@;jg* l5}Xx>HQ 2N%aqmiVW"CN3Z '^t *{Y;D]ͣež]4A9y_{5"38s]T(Qt34u+.IqZTfҖ[-v^TXP^U%bME_T>O݉KK{om(ҧ)ג)w7pjSpfXqkn o^32 8XS8/R}IyTe ̶$i"[oHXd%e@bb2v@RCr[8DPp|D+Y}̲_ﲼiDm9< /CI_L%ۨ:b=`۴wp^M;/~htG wu|SPEFq\65&Ou%Ah'}*D_@|b|zp^Fߤl|CV4}t-hK՗ U2*C7*e59xijK(|-E\]b_Btv#x8xgt+OVXj7B9X;O> Nh_%9@Ċ9[0vNYu[jU\lLU t~P} *у LlUV&{ iL: i> 0~bK5(vbb#k92 фLDM\Ib0VA=M޽a. +8C=: Pv\59ApJ-iDyB'^ࡲXǥ۷Jy96'=ɱLI~MC;eGnn1.֕At:bK t^C#i泠v~f]%ch3FLXLǘ}oV0lvs}3EFfnt+|}SNdzDZj(A4RyrvL>+r_t7Zb9]\"E7n^>|<.vmw sIn?Q5Rq 턛24~$!8m"*huWX({g%ʇW4d,Z@F7]!\MlJ? ID؏ADok@8l C"G[Ή _2&ɣ5S4'F$J@- Qg@4[3tANqe"wWn0hN_1婢=Z_},Q*p)Wy/ agqElzLpnĜ ,K &kR޲z8i!V2͹.4N1tHĞԥoRx^猐XIRȳx` ښ`#Dxָ-Ŧ=[y &j\G7PV\SB?2fEQ "ogv1jG q qvJ~=1cF9#n8uki ыir zs_ 1F,z*D)^)گ!ldEc g v"\̫:?m02- 6ؼ(rDjble2pزp%w4ՇW#o jw T1TA4nSOrVD>"Fpbe#