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 qq cJѣtXFf6=Ph"Qh'ՌUs;'c-i/36/O취&E.*rlP{Z{~Ql[`eu :} AKPoaU"sZ7ˆ?n% b;,H;F-$A؎Pi Ê$ؓ\1h5!'i~n&(H/t"d,>PCf2׆2%nA*q=E #xģk Pv}fsqSS>k{"::=qu<Ƴ{y[v):nuJt'jH):Ӓ jJ/W~M>^O.s zSeLwe 9~R4$9 .RBdt|\Ve ^yFK^k;}3?H/`6c?T5ZL>mr~:v)p(d6>`@V^5TczBo]_|~~tEhĘiم|t?#d'V,:ON{"`u$/fL6Q?F`&$^OJyi6Eek5_;">ۈwɞZ+۷\e|~t`6kU Z]uc/̀\x:~= <6Ucxgp/B[^G/"}M{,7[ Nd}4(i>_8^a<.CN/?}iׂZ/2e`ns vEGoT&Kqɤu?aEڛY%⦄P afP7s9нaQҷ5_ΚoU[MWS=D+qn"+$ C9G?Wg'| X/8Y%ZzۏeL4Q%v"*C 0&'MBjQ=^stLUN?Yx`H.9ccKZM?;ǎhK'GᯠNu֫d1p^ /YH[lloh;b2:O%>,T Jpw Egfޘ" 0FߢbbIRda`hTԲa3/3VVXyz}pMއЈ ?gYZ7zXZִF! ]ŗXiɟ1Dw7v%[y%"ڻl5UNjҧz֧r`ƕ;R7,c.T9oine]./縡JbTLжs*CÃH|PԲ.a L< U1=sH6I<L|$7YJ|q_>JrYb $G¹l]PHR LQ1fUTC \ϞV)ÑfXa0:ޔgV b96sҮYѿEe0Vɻ(ze!,b1=48ZֈH\ksۂh9I{jU:J/7c 2;ͱTXlN TMW әO$M>_pm&J,|!jxRI   HOL-BalibA8cvo+G֘d/n#A wf:(,V<04o/kVĭnrwgB+FVLo<*3u䝞^<Ij0"{nj!j&ˆjβ^S*4y^SپSk~e ũw+-n!xt%v6ơHgeOrrLxE]KqEԘ*5 `npgӺJCb6t}Iy!@]q;~p҉BAxD#t+_l| TaG.Ȳ󫇁7V%t>YB1x:å+JMs:0L įN 2ӛYa% ZVkD$d@} Q[÷,l/C?e^0jY4$ !F.w. khɚ)(z 4ù\UpN|I_Cd7H@#;,x|KnewE.X7) hkiN뮋YG|j|)@6<\tv+MT=b~mS:ON>Vi:naǏn8:%CPb]0@zFkY Pqܸ_sU,.̿|@(hNSs.w{YbO`>#f͋?hǗNRtU6S]p$&`)i("~R>ݙ>_v* (Yud*1IHWG͐!(kAj;p\)S/SSp~"0B+%. |ifNݥI$A)A6ENT ob95}&2Ygt_Yv)g4x/q3ʨ˵3m{k!G|4% X n"K*ԏV,i%\C$E_ˁ'fuDF9 X7󀭟xr bFO&"$,foVk?羛XrxR䓺 ݽ@ DgcTrڇ/){IV %Њ6C7~v:iԑY]'q`i|"\u ~g 2N6|JHQֶUNZVe)]ȹ6b̌>2e dQ Gn~4Vv謴M6Wt늝8rWkc5b } WS4cqwS*֒:ʻ#ˍcw]S<?)#YMu8o4u?3!| ӔSj6 Dcr4J6" UiKLP.SN s d9Xg wѕJ/4Ԙ*=f)dѰCUt0=*ñ2i|n+]>KB\ֽV3KxKdnbJQ$'$ه.zޘX=;-#bj6d4uz~٬ǖܥ-[iG"{[C<ĊEڏsJ[WPrHQ8ha4&_sE)OCAa0Ϗʔ|_BzU]odAޭ2aqYi [{k@H } 2L[ s:_nvW١jԛ6RX\KM0JUst&Õc Ns8 ^}5>%Ǒnq5ej\WѨ^TD/l#{3-\!)om}zn1'J<55XK㴂{mL>آ>*;Z$-UR<<nSj\@g zaغ&毽X2GfQzW`5sSʳלfƦ *U6n}CWze2_'aUu77l@,3PݵeEF_ٗ ?!f36ΰ,u/sz5Q>IL'=:mx)iOoBo0SQo"O|!_}Js oy, ;O"Ka!̳J>',kEO,bq;q9b$F%5L$"SbcffH:Ǝ )fym9uDh6(h$Bp}r$Ag\~aCk/ c YWfԵEit/! =Ka73,>1_Ho=Rn7u/IskBOc  PB-ۥE 6f亄7d:<\;%^,x'eov# 3gi ; w SNEx.-KX슟̿C;5􍢶iQGm , `aLri 6Sr畖&;c܄D]w59e}#.-`: ījG}|ĢecrO̠kǠu2H'T| !Z拁҃M9/8j9(!j\A|L4<y%z;nZ W0D4Z n gc1Rtyh#{RT-&^ﰎ*{Vݪ̬q "Ke,մ;&7t-`1eL/CpxT>~}# m\n819|eAg/RǨ;4G;ߴʏw}t\n9rޯɈS(ZLNV6_@In8JK~C!0°C5ډoRjL  >6OG U4ϟ6Zw2̷ {s碐htvbT6.`=ȪqZSKV;|fbs+ko'Bg Sƶ_ h>ףg~KC_H̊{7Ĩ*ʜGav-};%L~W#ѹCgYZ23b98ef7ed51effda470a54d08c8df471f0c8ffbf6449ef5e9bc96dd5096a5a71dae4e1ccaaa800e 3b15936e361c4485de36e5ecf4f1f2e8f445e71b 967f51eb5707e938cbfcaca5d7f6d7a919e3d9f0