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 U |t E Tycon:threads=2elapsed=9.598cpu=17.656gc=0.708factor=1.847zXZִF! P]ŗXf1-/6vR[l>efD U9gY(K!c"2}a}5mv3z`DG+03=۾օ݌jnP|w\LJ9+F5 žr*B hÓ|x_0 }?&Xȏk-|mnXmFnٟVZ,Lv OKkE=b$ffI\@}}Ϋӌ!$q'1+[lօ|d`Qv\*s"Qy ߺ?فgJ_j}:_Vr,@EF@)Y,1 %XF)`Ֆ(D)9M$D.P0ɋݺ@ں)Z!ڹhJe/p֫TA{JL"MP* ] @fYu/cA+4 I"<8akH)lXl@m*hQ /f 1& e\J"|$ ůAS+BS!I\Tkct`1y^b%0~_BVRfYn 5#*?J"3.4oLV [2DhU5"i@?f7ibx Ys:pG]F  TyconAʱ "2\;z=)jr2w6ʊ+T"b$$Nz<ō%}YcUp;PImzPbV֪aX6gV8IA y̳(jM*[i~ouӚ"+lX>GȇcTB`GLUaP 9ԧ]#1ħuWV奏h2@찹mKP5&3g2T'|x3\?Kxp!G@׸׭Hn:c{ aKzOg[K͖cmQD>CNæpZwQ{@p3cܗ^kw7!!#-zt{@Q W~MD(>I+Ԅealۆ,9TvlNQ(Xv]V!\e(,-tnq !A>")i'o-4bxɢ0!DY.m^<֌/瑒N"[v7U?ӡ]UHƟ/[n#\S2 W«Ø<`˰%8RY6)ʬ/,!s ^13e|qVb%0Ȃ{~|1?5[towrJ!$5N]-wmiKu clP;=$-9!͔el6B irAc@o{SWPgQLB.eQ;~3죹b,pFʌN6:{ (Raen8MϮ˿ABu;NH~ptbkLtq%p.|cDskQ oG~8,HK4lتs\8 g7x^=РEH J/Y0Zf5`܈\~ {㉂b%z%`6误zk#gC)񈤑t"]ղSҕ!ڊ1[VJ rbh\m)MzR~ Gl="I>@*8~[zYz%gYRpH)`Ki[P襴Up &LAgYZ11d2f772826750b80c536cada54b8bf09dea5a2e 1fd9b5352922ead1afd4e3c8107e2cc83e3b2f26 25a8fc63d0185dc4a05fabfd76215d1022cab7a4 260d43e3f891ad36da4e228e1d2832c103ac4cac 2cf2a3bc01f25d2422342b87d93a704ef02dbce8 4144758710d5129c96cef7ab17cf219cdd99d60a 436619fb4bc4ba25a8c192bf4cff6ac687e93f39 4f4ec1adfb79042af40d0169b840facf4c85cf12 5206bda0ab5048aa5109e02aeda8fd55ebdf7aa3 5eb4dd6aa8cdd5e0601c2ba2e276e6ba065adaa1 6c2bba698a817275cbc14fd790731f7a6a0d01c6 9cb2c03f7d5a9bd5eae850d1a5cf508c3841096e 9f7147e9139a29dee5027cace165580e1a062196 9fde3ff780f61a879830dd7c191349169bbdc5e6 a53f9a7d35ae1a743e0277643e6017e50a3f96e2 ac76c7eee28bac49e7ea4b983ed243d81e98565f c84ad8b560fddda0ffe433aa072673407342a3c4 d09b3f7f61129efc089074068bee425de33dba78 d2652bd3d34532cab5fda4676dd92ff616494f19 d50f5354de7289696b328483a50923eaf1cef578 ef531c0358e3fd50519e1c143676b8ae5d9a8b6ac27a9b4598ca656eb9c36aba33ff1f22941d7b72 64354e2142aad138813a04882ec6c2904dd4a4d3 7eebb6d87a7ca13c7578244e533bd743f72af1ba