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 L d$ c/ Skew_Heap:threads=2elapsed=12.938cpu=23.956gc=1.404factor=1.857zXZִF!   Skew_Heap j]ŗXf1-q恈͐7ӺV 5ԭv-LF$KY:sM!Cu dz,1Sj6EG2$Ww^&| 2Ced.jcdˮ=G(VzuU40|Q.qaPo~`~mϋ!0#m>e` ӟc[4 &=1g :̀Ye l^x#B8i`LkT-%yu#=ݺڥꇝ8wcܽYiG{٫kD0-%ε25P"0uF/$ W9yT9TT$vzvMxXnhu?B;#a\O8(Q%iD\*auH٠. ݙF=|͜_6bw(dfB}'gH?zDb~sٳC ͓"VM翘V&$!"q.a6r1粜koIg'Ҋ>R|q@r* -^f͹Bӻ.bm"}Y >Wf<zِ;0T" ~tl}phM&uyۢuQ{TτrEC4(@0@D}-bfBxY)Jxu4=_EӃuGBHpOR jb"atZ]_Eֶ F}N /;hYƤ?t+`[$ݔvKsQa39qkO Cwmk]skOZ S_NA&ﰏvB!$<[]Mz?^ l%B`:@?f A{~FG{g&;؄fIPF0EXQ \ޏ#!ߴȍi/,ee3VT $R6m#Fh# m{-\AK׌w c7̀Ifnp}>Ci:6a,uhg_qa$FSg-3 Q7#lv@'qfVLpB7wcoAs1 k[9 {,뿻Yz}5)>q [+^3ě $YJSXd/ Bnew~.@%vPj܀V Gq+;$;%\'>_oc\aؼr7qE ?s",_=%dPKx/55hXROþiB[uQ@ع+߶kd.d3u!}0cqxId!1ܶǗjFo4(Ub'ďy_"ȭc>G{*wMkMIo+9oS 8p5LLSտېc3xw􃪏 :iI]YP;RnN_W:ߦAcwxl[4LAIh~g9E(l025`F/Lf,%*N@Ӷc|TnAGx> ;Ί.R.mɡ#^uv*C hAZzB&Cޠ:H4++oD/c8]sx]O\D[˓4")Y84%Z$hJ | J ԋ@mD쐩FM3'm g4ד2N+~E_xSHQt1\ۯ j՞#&H`\Jj\ӍD̑Svta0`*Ԅi CZϬzQ,x K-q\4@|a8O;ǩZû몮=B`QhRUd+4Um=ɝG_g6$OE@ `'+Ò_?y㽛`hLټ=,e{.^C]ċlıI2|B~tnsx`|.+RL'ZߐBuV1CJ p8qru#@WO 9Moܦx ;4B[Ecz6&)qC}vC4 p\݇riSݪ.t?C'!¹htD߸=5 ^d0y1yӯ}JmsNp[[g4Yj4 (*Ш#.@DﯽS/Z1mXbd(^C6h '5Y1}#?w kdC~ZK/4aؙn@e}T2{ZQ,D!k iBRR@N6= 7 .Y2P<;x/"'qrgYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 1c361c47a653a91b106a8f2e0279888a71a6b0a0 2cf37b06e52b4f7bfd6162c63acb15ce05b66f2d 34221437a109a5594ba7786476b5abb5979a2647 4fca60e691e6baa8823ab45ef7f6d3b83c70723a 767b848e899bf51172cfcafea6b2fd397e8b0312 82fce86746f9061205d625fb926c1da3b71e3bc1 8ede251b4db5e4aea7a0c97caeeace95cc6f1aba a6d881014016ac510413e96c94577bf126ea335f bea63528c5ae9662bfe55afce882d1f0fb32c3a1 e21dbaf449637eb9161af006cbc8f4faf91e00f5 ee8b969525f5c0eaac97aac13de8dedb74a8100ed7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295