SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info J+d ES Girth_Chromatic:threads=2elapsed=68.368cpu=127.016gc=5.592factor=1.867zXZִF! v]ŗXf1-q恈͐7ӺV -fZEw͠5`Qƺ#_"GG؝h)j\= to@vb#K|O%<}.K54+VHk+^*Z.MtanYDǖ`L:GWj\2i)57$?:>E2<܍UfaaUL+ipuJ/_yH\OB:v8xK> NEHs}7 ̀Ve绉&oMQ 0\W 'J<1V8 HQib΍>gx؎!Fcu]ʢ>>5?ct1r'*oJ+*a{G Бvq9@*V>gNH+*M&2Eͷy٪7[_Tn* RE:סM2_4nj3'G"p_HhMDLGʈ0_'LBtˆ_ͯiَMfJ &CQ#29sq@P!9m'u7IS:f6{*IgZ<|LJq)䇞[ֱk.ƍ&rCW6Зl.|BǮFлC 1h^Se UR1،#(] 6O<'L~w<&Cv YS [7J# ~& ă KuF j3Gpf ;0  ϰ? 4[6Vl"V6Y&U 8;ݧ Y[h?a㝎eN6"rc-߱ۺ׮ R 9FX`F;6*yO:=W{8p5h7 }*|OM q`=-L:_a&),FO"b'#SoR3+ ?`i#D㹁v? !xܥu%hn!:%|=FPHçL8J%zoz C^Akfdz=gaRe`TC0!vh)nXq3e a͆hh fAf`eR:k$ޯP'Ԟ$TrK9CJCj!S%8K=k{'k34⊝vmaش,يнiz6/Ï01@21v-lx@\$x,ɬގ(O78+ w⋖ Vv#0tɡG(Ľ;@lE#x24߂2&HQVA FRcX:Ԉaʦñ!tOG)&E!P@ƉP5]>7D7L[x\t?C^!evΞZ6fyt&1s'dhx!6E_V/_DYWzKWL^m輖gH2Y,&:h\?GZю~Afh3KZNWV\R<RXYٵ(+MKYd8#KktP&g6za4kl9ߜX#g2LǕP÷lf3 KBI>=b\eղ1\+S&m_2讐4h~HQhK!A8'(C+': Tҿnsi n0`p$I8WI_5*ʩ',8 Q?{R,}-&{`E\Ql"V0ځ[b 4A\Ó؁R,b&'_9!:LU]ڤFV=Ah>nb|qvL :5:."$j,uR D"+\)qe&i SvtˌxδY@YC 4vȎFxBLe뜥c? lmCT OjYԮmY˅ HiO8'SJ;^ˡ" L:Lc` ] k`gZ{9L 򴡢% vŷP/r!hĪ(dCtVУޖ_p$C &|]]7 {~h6k;9Vj_/ 1;E.8Ǧe䥭`8nvh] wNMR@)#5XܝP_=^8o"(RCIE:[V{dj vjz +?S/v~s#k"̢f\򾰌oh2p8S7cd{k߬v0 KV}rvI12a OLBixml(ey'5JI3?y@(=FȨK}xq^)gIlOY&%Q5eӤ#MփE˄b/CN$ſ]D?$y 2ڒ`4!(muA1sWwNN{g^Z &x똚LF2tP=_t8\T@a*c -4mT!`,xڽ$t_NgD$>~S%0eP&r%T|j:z'Y3$εOX&GN9dsE4^)OJndp-9zB虴&3@ 3#wf -kn A _iԖ 6!ਏ WcLvh13:hju1A2i~s70:W#;aryq+ 8pivML3q {I$Ô lhrw]WAV '+oR9ų'*Wx &1 9ckRbg$$+KD\S/2O*US9 -2J*s |sZ>*[ Mk9#eGo6̋ƪ)nC~UjGZK`@ ȏیaԝ.5 oW\I>[ya-Ƕw79/> ßi4dV&phYɨ>y Toe~(̼P}n)&慼yO(q? <p:mvYϗm`vwz4ɏnf[27@7= t=w] Wb;;P<3j_'#Z̝O"՜ڪzxoJ^" 1ˌ.8C 1g5F0VBC(Zjpy]:95bٺ &6I%>OO|{݂zN~=¤m^b ̖qgXi 8{mg)O"DQ>u=[>fP_bGœl^%e:d;jb, 226`FFLOZx~2:ՈcHrB ~(ƴ̹SGִYWę^lH.Pۯcq! F47#rwݜ_ ~?(%oJd!B/__l8["ȺڂylYټXN/0e> 좫ޒ.k~#{NI q`ֱYkaP@`lS'gUH̘Htdf:huT8>r t=c(a0eE5E:/G?DN/ Y%-g9$FA)y;/Ɋ^(:ft1_c^bt+zd=#8-WNa{U?2{OTiǘ@¼nC\lhX%b}Eo?踝b,;461V{lrƆMb9>R͡F 5PZ< ԁ,XT(e:v =Nr799ዶ}dK* %MHTB/U_B-1B|]#HU:rs)B 8GB ʹnkɃB#~|(a*"Jb=6\'9kQ=q> ]r WD3EٛlI)Mm3ksغm|F[|f?Pf>@FFZzfZ֞zY"Ua*˽}۬;ei w@m5`)8xm s4;%9#Pzķsc *?#cCLf'KyJS2f)t­_87"U62RL9' -5nLݻ׃3Dl6ͩu.67$YK3}**=qUӍjNz ߉O{`` -I2:$%-l6P"QOY͒| Fo|,LSFt 9uEw -*#Y}/1Wc] X{܉>)Va!-)3sG$Ih!vfuz?0 JbRjYWX$^Oľ^Wàqv.l؅?KD=Hz}'Ort|jsUǝѨgж'h@nKQ[GtsT[Ε9OqO UUD>r5|=;+"PbၗSRO\)]pX `I(bس/oȌۘFD$x7 fp38nO/Gv_sj}p9]v+SYТ6h\FQ~éLICּkYSa^;y 5}ti# \)F, S>N݄o)Ds¥O r9IB憏<>8Jd+Øf huwU f Z*ye.HC |eUOM%LS/;l֣"\r0q }:?FY0%vTQB=j6<8n|LUx4YFPBQ0w.+Գ(+CRN} 7y>!-E<4bmBrX8EŮ4a%8G^P(DNtђwO@}qF]?Hz4I<07o"0h\wD -ovpЃyǢ8:vP'3|~% JIQ(ҷܭѧt_X-0Q3SJ1j`4xqɖS7@ ?CV-5߈\ +^1|K' 9d4iozBnpotF"=Yܤxx |oe5N_4{]'1`,홼=K`,6Js:s:9)a|**xSϪw@/~~FDփ^RuUW@}2!6@2B[TW$pc %[8ZL86Jf2F619{wf=u*ExG!]7d(KkP36JyѦWBbG||MlMFygK Cn0AIޯZh% yPW5>G*9| rI 5`CX$?R\4 o[/ɜpLF fӢbthrgk`f<g4r9Ӗb`Q3)<ƃ9\k+wLJ ~$Wꍽܗn F6qyyR8$Dœzv,E+M{D$nt ǀ@-ЎpԚNu/T*ߊp37ox]${;)'[,]+"(lcMoŒKίb(0ۭC' pA~pϡ2a#^\{nDE4/Ͽ}- pvά"¿`} iiafBZp3kS9)N Z# n*&3N+M`VFm2 yQ&(;*[dU&?: ^aIy ٳ,O-n}[vnX{59 +wv*oB@?i7MW5`Vŷ,c;h{C eet_p2P^g6sw%2O=1µ|W RN7 "n/(/feZ\#EHA]hǁ7΍t{`7E7^%OYsOY\#5!yz)^7Rn͖fs.>/Av06z@.yB㵣1byz[d²*DNA: 8kap wAz*^!gݕM