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 a d ]IOA:threads=2elapsed=17.651cpu=33.868gc=1.248factor=1.927zXZִF! ]ŗXf1-qN50^ ʕmy\5)NzPNzMr,HB1y\4wր'mXy䤬F}-/h8y˿[VpW~Sc?jL=1ZQ\fʒNb/`42ʏR5IBgBb,Ic_& Lf$`fTO)6>ԝ tt_  IOAg)E!P7nHJ³{2|NTaڄde.TT -'[%)KO[u ь `KG*9Bhp| ;ъ-R녧! GmUf>i9-c6ROg=1LbDeg͂jhs@0̢5%B҂ՈɨIEK7CiZ ):X%_Qn2'm隸T j곓c?g]R p{l.c5m?qejSV^6;Qw[ ??R:3|7!f\[QlŒj^L"ͶKdtUop-^DxJ:nq_+{QgU5^elo+ڲ"k(+QVX_5Y "J58u<äᄐSxu{Fyz8QșEۚL ]HuP5RъcV£~XG{.o%!1MjrFdpۦ4:.fCCockCGalƤ~ZE63c~4oIpȡ?xM+Vo3 ](\P̋U阜 ̵xCiѠ)כeHe=UDa%eNP#,^牢Z$/ţs&%$!$c`1q?r_ՏmwG@\p\=^ {U8|:OQGhUp7'?PVɞ5>͏)}lL"}ZFuXݿŷI伦M]D\?%9vªO%uoe6_\e ~ ~~)` ׌^gnILѱ)Vu4IMqD );gQ5SO

ct,G|I^?O9XʭKL|Lpv Cp}zϹ`8Mw_ϟb6Z. QmhEQ$ͤc:|I6 mJuNf-M&@8^p-ek`<ņCĝ++Y!ug`\` 4Xk.Mae,0SAN 3 xYC7L-Z}ҟŅl?T=h#r^+)A0ֿ7 0i\ᯋjWlWϤnzl7Q3L!Y~6vB1Z5x"'#ȊWz'X0QO6Zw "k Qwr/ x*Xm 3>O1/6A b)W&ϚU 07'dJR0D罵_NIw,Nqd@5ugօ9Jwp LSal9촪MΏ'ޒJv_؉꯺੿X]B9p9 VD BpdV*I`hE |Ȓi5ܽn=u:ώǓ0}X4#.# Y3^ů&xUOhAlçnռs o XO2-QgP;:zJCǟJeb jXJA5G.ȸ2i":X ;'k NY foX,ċ5DmBZ^lŚx#WI=D\VXT@8xEbͮ5wG)v>$I& I"@Zm~oy_p&-[?:2N6rc~N,KG}pByA|bLc$'m#~HqG5@S JRuObdu"[6ݛyj1,0ղR\w^~,H_`^MFc&Eh[uk?D q3گ)݇ŏwr_5e2bJq߄e-}4i.X(.;84@hƬ=!&it]t3i$pTAi,1d*}~{Oo A (-/jh7H,;w!Y[8U@X\h0Qn&e N]D}])9wXL3,l]x+Ԑv [eр"5~A)P|!Fh)b8&Wх'ڪ9FoIyT).s?`|{ybaV،tN?8z8 @n;{7Olu83Z |Y }S9?nCnSe?|[+]O!bn.?V_poAAf5ľ|]aByT w8 |@ JCMQEl]kQfͦT;ȴ- #g|reHUc> L!\ܞel3a.ʪg%1z?LbTco-jJt4GGxc̚<%L2,z~J e/7-I>BH(UAKyfjh/2G}x}1$WOvwK'vHgt!aG)uNX i]-us9<6G U"{dInPC5LBHĐ˭MtY/A\EY*Ru#(]:F7?GNQaU E>Ղƻ/ Bf$]&APYwr; y3&b3pP=j钱'0XajWd;n?kfD-|1oȴO@"1N'y:7Ŷ.JK:s]LhCmNÃ$?L%^ោ)zDxZjb \T"P|OBE /qOa2$%Jv>BUg+fB|9]M2CwTw5Q V0Qł.a)!P6ڒropJlVt2a:mnûC BާCr81^V:m\vzґh:6  K/yL-s5ğ% c=sT6ao`#qyuvذ{cϵsM@ dG2{EeV?<嶧iPkG5ˀN,{SR"U~p-ӟRfU+J tĥ=Oa}>Й_"7c>J]!BQ]o"^HmXU{xY >YbN.<Ep!4i(7FE@Pd" Rn egYZ7zXZִF! RU]ŗXi%BuA5`/b q2zev\z=wFK_^@ƲC؁c|Kq'+v PPn(PlJ̤@j**M1N 2iw hMk^[ƞ6Pͷ6믓#EcAzZf$VlY㢂g%hU,q 'յ6`>b~YLXo( ˵ݺN\k k2 j"Y>׮=au)^}lCwP}OORpQޚ%L4H*(FIw^G0:?VsI?x/zP׶{ eʃN$H'4و_;4tps8ر.@d5PnF NwoyӚ~|wg|X8Y7FtQGpze- = )ш#ڱ럪EbF司ݺҶ]p|KrYL悎'fOe(WFꐘ (шQ);, X34;`׷gնh,\{YVpXɡ6ݼ-P ֤&kwαgYZ20f478d72a5bcb1fbad9de015615c5c26cbf5f94 220550e733823529c859a6a258e64aa20d62a163 563ba3c0acd73ab3fbd40e39216160d0de8a8a75 7319036ec9b14b681515115059d654c3aaf9b7b7 75423031ef2f690680f016e5066f58335d37a5c8 7cc3e9930e0450f02ff1c420bede3aeb39c372d3 8bd44a73de257dfca1cdfc03ee6fbcff0eb91e24 938d0c484a80e421fb6ae5697e1098725b52e199 9b9a12329672a350731a10b6f071f7d38b0073a2 a11c3093f2f6b7ebe412ec3025bc06061bed7756 a6820028dd578f148c81ff1a1c2b3d8cb4cfc7d1 aa84ecbe31330d8b1d01a40e056125bbbcd123ca adcb01cb026b6f0c3457f2e50bf96234665031f2 aea9862702ac98e9c127ede42162c57c860bae24 c20e06befed5c804ee26a4c681e4a1fff2fa0960 dbba1085e152254111b4f937e379bb956462d610 e3b9e4172c88c8882914e3d4e240442631ad67b6 e6ff1fc226568d2b6cfc085f8139293b3291d2ad e866f2f76885a00708c6f3bbe6a0468206a628a6 f49102a3c25e481f4b313086bde8d4c358c3c9c7 f520112865fc85959231a187297106816b2e1bcd f981f7a958c30c1d47ac6857ae9e3f01f9a18112014fdf73a0b928fde39c061b3b448884e65fa152 f4f811683dcda440eaf96bee8739ce28e3523afa 5a5946a58e624c203389a73d2634854bdec986bfcae1dfef5272e341c8c2a3afe5b6526151a1ace8