SQLite format 3@ . YYQ77Atableisabelle_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, "errors" 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 ?#\ _/ LocalLexing:threads=2elapsed=100.568cpu=154.652gc=4.452factor=1.547zXZִF! K]ŗXf1-/6vRZBfߟj2𣌑' * 68E(a)l8^ •WBl&H!3R$ ɺ>3}/XFlL\hA_򐰀pO /IE$If) 29DOpLO s$"#R%2G;B_iCl"k^w_FT+o[~/&ϖsV\"r^, X?WB gu @VeLfokși X5v,լ:ƼyXITXzoh \ݷʺoY-ACK%j$~mrc7ޗ݅Cyb0FD+cs%#^*6UwO8ֻfSx_@ͪ)h(t|p3DrXYBȴ}@Sl x{씞L+q-:IKIS;q)5GL88mibEݤ@nZ~0wA7dS(n!c@@/M0cW3puʘ4owxLEF?*,!+.F+X>1kTZ"+v rxrJ;Fe: Bxx"n&Zb#)RJ7K˦=W4wİo_j* mz֓lν";$kb*ISMJ'l+0V-SE6ZzFOZ XġGzmhR}V¥ JHUGǕ>Ǹ~KnPF U%]q(Q `dՅ0e^zb, ѧLt Z9*Gp"um"+lqt6"Oy6?5R᳨&M+N5nk˂&`ۑT.dRЍqxz~yc#Mӄ[ 4u/w Ç(ڮ))3l' E: JG.ga,Pf]pvPb38^9UEB%ןyin^R6 BROdU%4>d~_CZ wh߱ Tg-8F2(Wkѫ~&ꭏrӪjia*C?x`ۡY_?f]PفLvgIbE?-j8UVO!+jKTqlbL I t츪pFBKc, yVV_K;0fHQE`xEl|jJYQ=7'(.}ygz;X6w[isy(`#8>끆hY!euT'݇+B%FFyێ!㪏od}>0dmr޽LOMƮ"+'{9.48雘D׏XѹGVkCDW龄;[ !:FF :,ڽ*<;(!]>O h 4Py3& R%TG,V4TٮD?̴^e O.9,Dhdp#m*+Ớ sRFǡwˆ0H 5v<8jL!$ϸ^LH!R5K-|+g̩H@+S>JZҮ:Q<Չn9e}V՝V7yoDTw 1zR2 BXR1h fϬbe뤛 L\BNb)85'FTwGO_~DGj}ʟÁ\MK:  Y䂤Dct,Ǜ5*᷹m>ď<]nƳC^EϘDjs/t)WY;h!dK}<\Z2hɠ7<aCȰAkT=j'}Goe99HV?p?IK9#2  Ј6Ow* aҞ ѓyYpuNX"([@k]$; ;uVVEl}f6*"z_yzQp4Ē~ i4+Ub5Y  ~%!6I 뽪(t&";HڞrRֻݤ$^xybZ=kD4t1YJvGkZ.t—`mةUԶ~6lWv7`zmMDv6ʮJ@.['9v\3Qzmki&(9=Er^V[i=tVQ(%Cλ}I/*tpO:)TuBԓA^|ht~f / Xn%rTpkd0⟳1rꤼbqH7hGDSae o (w)z?cӬMkPn_;{ IpNaLyldF7JgܯD-85_ڻY\/ ;\aoN5iK\yZ,+e4Zr'Oms C_Oy8 :a#_X~6t׺S9kvFC98 2 ;b1i%ASqcLR£H߿!@*؋ F>'6~r{\YtaD^ jm`MgaRg 1Y 6X+ZIБ#7Q: nmR1#=Xйz`f/y\+G>+dn7C8D?P<|c蓥5`UB>_D_vr \ǩl>/%L0=dUP;}5bo"v>!VL^DPZg ;R+[i:WLuضOZ흚P%6poctZȘ@\th͚Px#ֺ3@Mf)0Ŷ+yfmv;@TDwu<#.T)r0`jMWeF{d:f"i$~y<]Z bԛ;wpKp 8T$1GZvSЧXn 7>Wȸj?ܵ^JGpv jx#<.iHܼ!o ϒGp݄˺d C?19vd~{PXy_+`w|ZFj2ϰ)m(io;"|UGS>"i*``-wFLl~iϽ._ ^4Bn'#|-j7 D ~39R<U&,3S#9֊g$`7B?|zYuj VE  [1ă- G2x PDN>^&SXg}BtRư%Ml.c#s%۹罴WOT,e6ώn fïaяeR3КlX_gt WW+?gYZ006068cab603afd939bea23dd9af161553c08d3b 15d5450198c7456fb8053ab4c8ab1794c9d1e0d1 268fc59ecd2a4703f289655658b8890a9b0ff4fe 2c42a2c044b43299c5842c00ba91c58a99f2a406 2e58b1680b8cdd504a7b4c1a094c7bb95e88ed33 37b521bb981ecf02698cb83df75996d2ac5b0862 38c0b72a92d13f861881b5cea1db6e982b2851fc 4513f75491bcda618338e486093811e5bc2f1636 506dc7fb9b037728f580e6dbf67c9c8a00f5a4a6 5ebf709385d4644dbeb79755121ae35ebcdc1a0a 7d779f05878bdacbacd3782c94af23703d81d7c8 7f814707121ff2866f8d7244082da0defacba415 86bfefc043e9b14535640b176c2fd479e2fd6b47 94a9b09dcdbd19167c2121fe21db1559abacb07e 9ba0747ce20697c7b6f394994d6589ff7bc646b5 a457d8d1692aa87ba261b39895f2add0a4414ece a6b8ac37113af8786822a560ea986eb88ec44e30 ada80eed69182ba0e96f8dec791e9aa0811c06cd bc337828c4f37875f2f0d765d0e59cf590643b94 bdbd87ffec62724f704bd6d678a5867019170f6b c26ed6fc729d3ce2fe2fe10d314e1c1b03b4a28f c8ca242337f0b0ba9581a06c6f69044b06b317db d452491a75e5f7fa37c41176ecf43e817fbe19bd d8140eaa46cb2f9654f8a05472005287d62aab89 df65f8c6dadab47a20ac1eb4b957337c60d48068 f5b830bc198886e6eeccdb9bd1e5d85415b3b825f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24