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 ,# \D 5 HOLCF-FOCUS:threads=2elapsed=17.448cpu=33.208gc=1.152factor=1.907zXZִF! ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`T?'I2(c xyn̳wa.qAx?"< AX9x5HrXٺ/xGP5ª`an,D<6[vC9ǂdBeC`P3W9KY,JTxU,(d<I^f_ 8k%h<hVm\)z4Ԅ] VtijXvD{jH LI-aʑ,~vVehXxP):()~Jm$nFzք^5+@_*eT?|Z$'ՔBvS CJ12Xh Sm x5mȳ##(gH O} `VTJ)7ۢR}tj(:NgwUȩn(f_ hVM󂳃 dQ# ߳٨2XYxkWB9qW\aZvg1$zm@ XD=H lū Bzȣ>ptdvdbaët<SV3PVީUZW^~Mr U"[18C;:L!r_ID@H>*KZq2ݞJy۔moR"jqRTaX9gMY(Iߚ q IsROl.d0WX{,2!" /tfbik q8T CC˫|8.ֶNB/lDU$fk`#RVS?qtN2 xW=!]}t!TN!).X^]|Ki2 !WQհ:ɯ˨[cѿ¹OQ?̜n{y-ؘ!{GON5O I]*4|X\_e 0̮ BIKjO[*"d]ӥs?Y JTQ XLjD ;yߠP6T'Iy06u+ݣ.|3^`څ+H9ٺ"N@$] \K;Zf :%&9z@x-ᶢS=ֿ,۹P1hm{:WŽMXsFlި:$hjR2$[*^e.!;V&YʎA+E670-Bl h_~ȋϕGdU&I|l^3+a+ Z 'G4QԣI̩*w1QK_#JqM~d4MH~z0^; n#]nٳf'L,KbbH& Cp2bw9j<7dZU|ظvG;Y,]Rݛ2ɃRi!KQ Z1 ~^OҁTtDIG. BJY> 6)o,M䝱(bN`JJ"ր_ھ,uSd߫,rhQX AQ kg,OPě U"vG o&v(R.D8w̒beK)y<:mj5P>laz5 /05Ui~kDwvKz5]5gYZ7zXZִF! RJ]ŗXi%HﯣC̓7ph,2 4x~ujTD#_3V4=(C kKkXd3?C ՓςLOwt9,<" mnhzX|%7!@$XܴJ{" ;Ot{A^|!7ǼBR*N ʽ]H O+Tx1= (+@Ky᥍V Ljk|t:@,>eP䊎?6d&Kc(mQ̒0ePcKo@1OewD86!qʦyC3tFgt NY)vׄpP56ȣ+<)g"LTh@8ܮ*694:<Ѯu;v[]!-ެ&?ڡ ~#d?pմ 쐡 leQM]Sw.Dgc@ױ0XS-i!A* )~}EgaWsm6L|[9ԏ9VOy9 =TJ<[ͼ:me8)J^ianr9)1Տ,.!@ g0g<)&X~Cԯ&I@ h+C?ED]~bM"|Z:8ȷD (6^DtkKOX/hY \[co?"W>YY\vUƄOۢ|O)g(3dk2 j9eD_6ؚ>B*_'9> Y|L7GRs@-N[L _h?CY3ǭ?K"G=]#K%~ :UqnĿ68~eitp9m28MPQzȳ't)1Ēɗ 4>smT4Z"RD{a6;O,XSmv^q[ޱk&G ˤ"QgYZ7a24ac0b5dfecfd710cf976d042720a27eb8c80f 852c4b663a8d439dbafab771fff6222b134f0cbe 861b5b0630fc19dfc3f05345c4c7df6022f02538 95d4d5db1917a8199915ef427b5067f3e95c40d6 9819d8a0fa88bf71b1e89868ebfc3ba18c163ae2 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 cf1fdb239aca179843816c6e95592083f021315c e16dd81c25115952353dc50e98ef8842c8109688 e3b6f35a7b23702f0940d11cb27f1a0c2dc25d95 ea07fbeffcb1368ab04358e4a6792a15022e958f f3317a6f9672d05c24aea4f8d56941943f9614ce f66bb04f776a67c77884faa1a67dce2fd949bb5c f7d7695b21718df39e8a80a5c0e149dd8fdcff3e7f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 67de1e4faa6c594cac8f83698b542c3bbb933a16 938d638758d7574cadc87f2c58296f82c16554f9