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 R-{̫kC5sƬq  9M_*!--ɎC{{ůΜKEvI**qsLSr@8 m]e$E Nۓl>i̼\QZDYz^$i83~_ȶ/}?`UnHLU5)ۜj.9ZW}C A[ KTdJ֛<@ۡ]&rUsi8S'$X_W;!ҍN#`|[. jsr^L:kRஊ色GB%n%wގ[PZ) |5 9bld8[`Iچ_>˛G֗A Qb9EV~nB\ubo?3/\lKhTM}n4a1(G@mUyxV,!WJl?-#l9)e-T\%8Ē/8۞H ^X-GQtC",;p 6&.`כ! G\zj0'\ih3<1/BLoCFc8Ai ['K8r]\rJDaQ_ȝbȀ y=p?qwAgyy-4G qi'O( tNQ5~f[IRVX:'/^h.o{ϪeNFFHL9!2 *nrc/Ih_%,Da!J_+KcϯG,^Sfxa1~rA 6z>9٠ܝ d 'LԬgoeq~T6gK'cN$ZĈpɹB_a1|]R>L>$h0I;q"7QiN;z,kÕ5|XAfib)Mvi&cOUD5nc*pgLEpu$m-WZ΄e?Zd1== B@-6LM {&J EuRM0Ͽz/ѷt lmM<"*<|.D 9=g䋎+5d1uZ"tjyi@BTR2>6>| IUa@Z۸8rM(+40zƻ2R V>+ =pMAbe1df_hnYНK\5twk\߃ӣ-^сe¸Akx}n"QP?[7AeMQ(O7"kT tgޥX[vͿ31; QfT&=bvĝϫƆh=_/!f%LxҢHh$| HUX؂'`^Ċ|[)2ܜxfhMam*Po.<1R.Hb]0Dj+N$zqR!! :`RĽ|M{ry0%7#Έ9{0 $ggE`765=3͞ A*V_p8]*L8fX1h aI5!O#k#M*%JLM xHE0 )w`CJ>?8Bv9SL8TRÌ1uykwoL{qGӰQDI4pV9~տ \]Qux6N< ֨@`#$H A7:.ŚardfUJN(x6W>kv?T^(7Ga\zɽ}zd9Iql.^ݼ, Œ^FI1-=&耑Ӭ۵q |ӜJYJݫEND`ˠee/<.Nl/3$^?j6.Qrn~JbTs==Z:#1gx+lwŊrm5G)'gO!T<Xlљk#ndW%ÑoD0a U?gK Hy&Svܮ< P;V% Z4/l4t>|)5:\ެş6fLTPĿsVmLa"g@8]'AABz ,xX@q/EPhB6(4E7iUYvP,H v6)싗kfr  /x)(rC,{Q0֣SQz(8"xtlKZs20 K"qFlW[C"ba6繋n!vCz횓=4G:RTX <X 訊'2jN N81)n w.,{4i7DžZͲ'2 éMSQ:PcR~9uU;Լ9S(ϥ=c؞*<\LѵRIW͈ 铿LϧǯԽzK,tw`Doj',~ຄcEhJeO>tbzjEfظ*DVǻ=A'd+%:BHź.qܚNm䂥}ӷk0hnZ$b/VT'(dؾT*WsF:iMñj;xNDXb#/ȰV3 06'H{4̞Wz "C߉!F4g", 3h3Zw,l5qƍ+A0^HC'B$'31W ±?Dh:x!>=nhHƱy՞l26;v qi+΍7,g+Q/1'4Yw'};7;+Sy/ױAˉX[Ar#VIbzs+GŞ_~э[j;ЛS1`+dW׻]zJl͊Y^:ZF1:ⳚUT/4"q[ɋ$8! [*e&*+͠#mçEQor]8KP067ҖXOtN_Yګ`H:P7 cXoOPi% -S P8چ>0alR _NlݬTļe9$\B촍`tZ'mӹ(n u]v6,.I@ ܓϢ 7`pH*)={R SQ ^VH)>_.!>){Zl"7\z$9}'ˉ²4ay4ҟ|zE4O>Kx;F>@)pn-Nv[}]ϸF;!et/.Z?*Z6ifgx`1o]:􌖲.qgER "Zv.,aAsUiau'rq' B6E  Xז]8."1:\ $muo8J:OW0Y"oYocz˨ !m:JP=w:NjFA95ЈFD;^2 ==ʅ};UwtYb[ rgx ňk҅m}B5/DF)879GW;G`B^^i8J\UQl.hҭI:,iw#ǃ+8XƸL%xlf6p % NjQEP^DW?"ZҬ:e[BtT]Kƪ:; Ƌ#j@Q L>i6gwJBOJU wxm蠷hO[BT%sF#4Z #[h<|/}%z ; .#fInjz5u+JR/| VIx$"ihΆ#~G|LoVҫX'3߃d(rǣ!0EOfn!OErZI([qE_1'Y*5ԲG)IH(/ WY xhMMs}-؛2CL;0<3%gx2!u`6î}P:Ӊ2}϶j$JE rWnV"5j%=O󆸳Lzo >L,\5J *5𾟈i/$\ T pm z=ݙ6L6 n\mT:"9-JԜ%#Q>] s|S|.@QQF+N\ g[RiRĔKvbJnQp$vWCK8*&Gh.9)g1z^ՎbNCtp~̺ 'n8tՋkCƉS(_eq$ktS3^;">ag_u2  -!],G^B1opv:sUW[s&X0K'^g- Ʌ5Fw4zD#^S Zcc.[ՠ6?zJh9Loz2؋ނlj]0_B5hLw9{g3}4*pMRūkIƷ|iwEg grQƂqiT=7:b3%d/Kz?M>~8rF5k -fo=.db :P]$j2J!UGҭ@G~߭mV1n8kz݇`!Ķi)'=ZFxb}:=7y cS|@6,4ʪL!>y_zr  a(C9`)Lm7.-1APJ:~4Lw*aͅO,^;N fPXuxv"ٹW.A{1zmD} p-`}F2_Fy*zyC;]xuTt;CrG62;S5R`R1Qa,J@ 1Zm&-ZM\ Xaئ`vqM#gASTQt{p_nޏ/nQ9qexĤߠ7^`wU 1V2;{~] thP O .,t@A<*{6voAtt1OVlUˉGf&w5- lĉ[Kyʽ_!*t\y|9С63%$XgoѤX\&o=O"g|8Զ 85I˚cJ0+g9L-+x4=O$WX+/ |!UԧԹSl,{mjY Dj"8*ߓ#{)C>@9S,٦p%F ]l;|W;Z+LvU#}+gZ1SۏQ Wj-' fc| Ygq>up0²{KvzuzH"),m'AwK;85XZJpe3؎# "XOln&T·ljIP 5# IB 9^L %A7PǑ.n|3t|C3Һ6oG;&[6~7[,ކ=\F1q#K] #8Dmgʒ `6 ?~R VJĆgJ0ѓ1+T@-fHfr}%s8_4ܔ~^/aΠD\*B;^oq$l܋*E#m]^睴DY%ԀD\(6,~$.D0MK*R?s}2\h+W2-o>8 Աvۦ d&ҩMgi}ׄ(,"رAX<)Óp9X֙nVWI9lV*qp*;V`XU {69ZuВh&p4lcvΫĘ[ZDu7ZZQYGe K 2/Dh`C(óJHQP`8 WC^ui+14Hh5`r|SmAs("JH:)EvV n[.TE =xs6P>hpS?n>ux~;iNUo xQ$t20RHvҤҶgcj)L71ڍW}CwlZ0|wP/{c20guOFF3ɬ+h5$BD{pNa$ܑ1g4Q &'iz_G@؜QAP,K8=lc$͇l"& {s⣴ƣ +qR1ϙT9q||CB]:KSa[}oEvCӖcgYZ131e43cfecd9e446da72becb278b2ea7c436f6b4 1b80d85ed736bf07dd657ffbedd75fa04c61d7ce 296c07736a2eb76dcfce8bf32a68975a73f1d0d3 3c40b84801f079babcb203bdb62bbc97575716f6 633b88c080681c6712c9f7cab4483e8cad1b4727 664f0d125a0e34e4d1c3e926b5624b05989e4c01 a4ea0b102b5a3f7037347fe0a92c125d8107c9a307addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988 2c8670420f1e217147d01cec9bd2eec9fdce3aa3 31c008ed4b4c5eda7aee0f5927662eb9ce527e99 aa03f57a2b463c90059d6b7300eb87ea66766178