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  - <\ E/ ZF-Constructible:threads=2elapsed=14.505cpu=27.508gc=5.124factor=1.907zXZִF! ]ŗXf1-W5"~ H:F`C L Ѷ\٦`:P* 9&]LNN$rKHy%hgy=(t}J)R>jM>*<ٰJi2c`#у{tvD2O NzAm/nELz2bPHH9#k-9BtU`譶?'-2Oqݝ1xfXa:S?J:JQ놣֛@ >8Z},+*'jfNVPgOqGk߷y/FUisR+ȮWJ - ZF-ConstructibleeX]kx 4˼|~`@ZM_ !p\ wU}:C^-lUb &mbɧM*4Tǎ314n-a IZ+GjYɩ{5.L$`L4:ZLC!H -o@Wa od(b/ -h6! p1xuqLc|SB7%RTș[Q2~zO{` OҢ7O||K77_pʐ2#rj%.=/ѨJE%mu d`GWw]Hҍ[Ŀs'|ה™YUց IJ.\2N;b9@PP #2_ HL;ǶSXJ!)@^Q6BhIX|F愞Es:x2H"F!DeZ[<;i/܋x:f(+!Yv+n=k5̰ۼXEU= ]}5;'<שdMH_WG!aH/4ɛ (G+Jwce‡Sv O_g'8KŴA~ 'HsFZ>m4i͊Fk4`0"\ZKF 3#8_^83%$e)`orey C\,4V"E0=uӭ4"[~Nf\Oj'M],Kv$(HLm'&r+/~}68_DG$lS O,igh;%)Y>?dSFQkpYcX@aTS.\B! RHXSzjd2IҶ؂`f%_..diRR^݀Eu(Qwz1as/g  m=JV86nѵBnq' mN9>ػz!%]=LT#+lW|0#%Z5!]30Έ햲JqLeeWN$C^o51 ߬qJ\j3Z:4H S7KvLl A?Vh2`hH䦅 N\nF-xղ.*>*>>`r?k1X)H 㐣\{/%0CH#ܱeɘU?8BS_ǩ`I6QL^WYJ0?",pd >b6ӹ@a#Nj7ߧ~OӞ` 51DzL+`wq>peU1KH_Ģt'|; =d֞HFR&h{4n%_EݚekM꽽·[,>M)@-渤m-nRߖV~dhZo!b `yfqa!y<.[碘2?ܫDgJ;?\7-SET 0Yϯ:ҭQ2&ȑ'|.\\Ȝ 2i>V6i9F@'G$ 㡀QN6N_y}O?ْ Vk"i%_(k;+S'bC@c9lnҽ$hN| 22{ϨsZP'aW7x$ F/Pbkk ab_j u894$17;#}-Ph>b@WG"]1sgOrcfGDa_wXɑuT}ܪ p^.b  &ɥ%SNh3sJ5Wk̀n,/-U"LB=A%4ܙ&jy0s_%%2ʶU;֭)A^seE0j$ۺj'5}~+77jCpRX @GUd%@#X\9sBl\c$_Q9}`Qld~w9vz: ~[}~sQPyN W~ٜEZ7@YNoZus3UU;F#2-Wg/ȡtIzCH@*#diCS +TNUT7u71B?I'c F:B. _(f_gB?荎R׿kS8񎀾8ĴC008~mnIVgMGswH?O^01h,v=QAyQg+5 ,O|oC,G:k8aYN9-uс uTT5<{5R%YgU'/q?TŤ]`@d#jj%mJ%.ԞKH][!.)-qAL g=w X+B "V_u`2LOwgYZ7zXZִF! M]ŗXi%>)vQe(5MbcR1jHo:D0Pbw1,.SOѩSG{Ks,ұ'+(r4 ׋f|αO K4'z1SiMAuQ<DY` 8~8}slojܺ M\Z~#9"FvFS$@])-~yv3Q>/Kiڬ.kPgUQr{Mª n_=tWK쁉KD~R @}W] q0n-xӕD fܝ`G)/5/m[`ҐuXeVc2L?sY` -sJnoR $kKhП5K]զAQy{iEYF#H_Ta0[֟2hÀzSvͦ fםof9%= ^rb^ge0W0&i(V/~p /9$) f;w8QI>(u_!i[6 UFĢKI4QAY!3 we7v}P3MZz{yKXfO©9a?4Ĉ+Tt^*q_sD?}ޔ9r|;܎"ᜤ]= Z%Y'UU ]B*LQ"B{U ϛʱgYZ089471776c150b91ebc6d44dd3efaf297c6a6354 0995744ad77570d41003c5072af631a2c816796d 2ee18eeb3889c4d71f12098f29436c494be28b84 3287a9a9c7d1f8ecf042fc0e6f120565b0f6af8b 3601966867a54a7b2b20f6142e10d4173343a6a8 4f5f01da3a65494c78edb9ba99b2f6e6a1bf576d 522a22ab876f3d71f7cd516c52a00e5d4015c8ac 6535eb45961b8b7d6ac28cf32d8c98ee864e24a3 6b47085649144be6dcec8dfd41f4db7130b04c47 9b01563c1020ee503a2fe01ac65d6b4735edd8b3 9d08c3f8c71887de59064adf6ae23ce528f8ef7a a4fca249badcd961583e181458615ba250856aa7 aafaef4c640baa12fe4a8f4601853c775086d919 ac78f9efc5920b14a47007bdc99208dc02dd0d79 ae63cc7b047c6368600a7bb6727e74baf17bbeff c1c78361cb1b5ffac6b886f6d69f44aa14171cbe d150aeb3a4fe16733b9dd5f54929f1438b064f10 d2435baefa27a94e6cad99a5de4f5e41ed6d7edd d7060a036bee5a29f486547f43f304ae9a34d55b de5ba395245424c43776913d6f575d39d72303a4 ff4be9417ec7c26523c10711364fac3a5b612f393269756b47a6a9653987fc2e45e2efe5ac3c9347 0e544d0fec4d3c0b14523399e03591e515f8856e