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   ` Ld c/ Skew_Heap:threads=2elapsed=13.840cpu=25.640gc=1.444factor=1.857zXZִF! q ]]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-H)A`qF`_U t:˭3z   Skew_Heap%=C2`g3áLyװ[>o!XIGHi#j/s )o"$R(dF{pZhuV>mK_Wdg%VuQo)Ҭ5VϴCwd,A溬c%kZZamT4EP(Ў)V$*S}z0_9uԃW2to/R=^2* L@Ar/5/#-/S}IK"$C*,mW^t>`en^1^+&pClP~ow|28QG^|+G֐$9eƝ%ayNHy_Ni*͎)xZYhuub5Yq> %hͷ^̾МNDdcvH[ u\pӡVuL G=K˨6?|u{?߸)d#j *c`F(NR ZAx k.U;߭xI 3}ޖԳ);5 i9YYR`/,m߆ep/§lrGBf`5q̜o,eĽqcu1:=@YiUxO _e坟HtsJ-R/޴{ x7|=x@$|D"?$jLDS # FĢ8_>!Y;2_^c/q !ug60GnLpbmq֋IDVo?Uoyrx*Yrl2G',ڜKaK3R[eȄ/.<)LfL† DP*s+"N[gT;zճzԳ\kh6qdvwsNj')+vHݠ!Q *wrňdD"VYyk^y7w@o2\hZ|n]0Ye@|wtoDv.& e$5Q`?BqP7|mVeZqFՉ le#.2&xD 1^aDZg CΊ 5OEY9[Nm\]aAWcaUW1^tmYh^,*Ky^X=@ SrkHA #٧ jXdl`&'N²$c?6Rޔ3BFc"n &4N=k48[i,_s~ L3]y 4me5w+د%)9`yhψBPPqoz@P-Ɛ8#y*{D0`a5( lJ#ߦƴ`cG BKUݰQ*hgm|-d,4! ʯGc%uB4'+8nkpXcn/?5+Ӆm\yb& % &_Dg^90rYsYp8cܵS=0W%v5xvI|ƭ3V I ϡ`&)T?{ 5d,9̖]G>~!l{np0:awf)(7r2FWEryNy͡5*0W4´|UijgG 9a ) x0#; wSbۭzNf@Qڞ3+Qmؿ]HD->s՟#˼*֊<i2]a/ MB9;^Yk鋜Xӓ\ l&{2C73b&AiLzvvI=fD6ʓ}^`F|#gqn@E<{%G=yF0l L``warD NVeۈf@z'^pkJQ|̤W!fD@%r "#5 LϘ8*D#ǘ[;m@Wr~|x2 $ơ& rHqkg wh[z♎ kR`S.{|TxA Y^q\7!5<t6hZ{#MMp1۾zmXX uUIT+~/pcBKC,6x|vXk(0ڭmSX+#юʮ?;C F8@{|SNkX@Gm&Ϥ^E٘<ı΅[57A14XŕBJ^gYZ7zXZִF! Hi]ŗXi%DQ-I&B^ALE&}m%X&M])@q:m CDT6P {RvѬ+1?RRsBaI,,^Jki[?K; 7m|W_~G0;uH7dž?0 6,r{n!{4JR^e0Jl( b gѝB@bOQ^WF"HҍW~ [w݅=mb-_=Ѧ!t H̽xYC[c$8*ց ވ۟7 ! ϳv{*Tm~B!aIU $j3$C>0ϻ1hAπT0&,`ҋ8dY%,oCPн\代!.7O[@OпY->fΞ7d^YIvn-,<7 ؑ7AgYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 1c361c47a653a91b106a8f2e0279888a71a6b0a0 34221437a109a5594ba7786476b5abb5979a2647 4fca60e691e6baa8823ab45ef7f6d3b83c70723a 53dabb43169074437e760911a6319a5fabd49c1e 767b848e899bf51172cfcafea6b2fd397e8b0312 82fce86746f9061205d625fb926c1da3b71e3bc1 8ede251b4db5e4aea7a0c97caeeace95cc6f1aba a6d881014016ac510413e96c94577bf126ea335f bea63528c5ae9662bfe55afce882d1f0fb32c3a1 e21dbaf449637eb9161af006cbc8f4faf91e00f5 ee8b969525f5c0eaac97aac13de8dedb74a8100e7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56