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,  HOLCF-IMP:threads=2elapsed=7.154cpu=13.472gc=0.488factor=1.887zXZִF!   HOLCF-IMP pZ]ŗXf1-q恈N|5` 6y}P7(/H> QwdQD ͩR[\vABwOךI9RX7EyYd#RPX<(@ wi7ܢe$% ڡ B NlQ gr3<ЎnxA)mﳌI2dSr s^Tg%vYTxw@ +2蹍FByej!N]*03\ls>|p0(E͇8uR&V/)EYAoEVpTCTtC_K oiAꜦi-%u9xy !FըzY iް.:yTWd0˹P\o`D(oe΁Qsh!|fWy(_)EBhb 18 'xTL(ߪ"Gx&FzOꜿ7Rg=?}JpI+(yi<$gYZ7zXZִF! #]ŗXi%Hﯦ(*K2En#笤Yv|@M -cwD_Y~F[ԅo9pW scVFTū/njrtXw$q6'K1x5/x"؊Ƴ1HTTWl#Pz,T}UK{B-(rNדc ./#l+m(h*z x֡GIq{S 8J/ jr5#Law mKlR+);NSTfo~5D #C?PT(;Db־X&ϐN~-ˊuB;jsO2-b_tw,ACD>^[!Cf1S)^E Nr 1/E[*ۢ ({jW}_ל= sΘޟT vsbzوp?d0 ޫgNF3`ձgYZ07a6a39f22715d36c6c7d78e19847c1c19b45164 1219141cb7a32230a95ce4f1c699106d4ffeaf1c 332124682321656e702ebd7a5d933f675dfc2c80 362735a0d495514b620b5fb81ced4c6f3a08c7f4 9bb64d25a454e76f91ab3470612aabb28b261038 b2f395bf46e105375ccf95127bed02a66037e2aa b6122e77952924b9e0da37b7aa08cd7320e1a3f6 e041c843d120825e77104e8742c34aef50abb1437f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 67de1e4faa6c594cac8f83698b542c3bbb933a16 938d638758d7574cadc87f2c58296f82c16554f9