SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 \' ld< ]]HOLCF-Library:threads=2elapsed=16.756cpu=29.904gc=1.224factor=1.787zXZִF! ].]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF77eo$"E,d%A! c CY6o$e 1Lݪzظ&TlOw۶{e%+zH^uh9wʏ؊Wؿu8<`B7P?/f-(T?s mCz7/ZѰP*'BoȉI-QxN0 .wN3% <>>B<{- ~FM\ztw4.e[eLŕm -4⢙ch JYKiGC'xn@/J Y/LOI΄~<ཏ0侀`: re?|@;ie  ]1"M^b4="52:/pUNKDфE({Mnדu 봦Jp!7!!q'E32_6 ^0 ^YbIS 8!)1z^͉ƪxRaçQgYZ7zXZִF! 8l]ŗXiɟ>ӇuMwd\ͦl!Z{gLeS1^2 xLPxvĥ7 ?RK$6s[%r0\ 6ޱh*B+=ԗOw>:̀^xhqΎz/ŀЗ)IT Æ*hֳy3Mi\J9ҺWF*E =ExYkGՠvPLܯ x.}ys@xOVhF!sd}a,O -qA&.spy9kO2ӃI@J=0\|YI^p~v>ߪB6 ӛΘD"0qאb{&mt ~gYZ7zXZִF! M]ŗXi%96@V+pi6cudfMxݧ7kDd!&XU`':sNg6RsBǖtn:~q(2q,4x## 0D%v5:ʃv>M%zGkήXb׺8K/$m]Z1"/ccۤU~7vR_M|bg- 77P[ϥb9Hm]0>NDw tIt4 y$Q[H z:M&|lAգ۳H@!a5Z:aɨպyØ{9A#L5ݬ!œo w-OdF`QPݮvvRU/BVuG9n"[~ \"O\(*qCؾmdY cyWBL?8x@b~:"$+8ݨډ7Ʈ~{wEJhř,$cw+hx.d:$*$ЖT3n'ͻeXѿǢ :iBOXײEYOچ k, l9-zIQ6=%B]vB-*ގM}$ kC|-wBdSڭXy+ G@"W{1Wo2@L(tD\Iwc+R,+/B)G?26i盀Dbxޘ&I;9@fY,C+*+x-Relg-yQƛ剱siq;KND5. Nʏa5oq`8SP%+W*b))]&soMHV,,0zϔAC!9sHL-]kWdzҧ*ݭ0yײucGB9o=bյK%b>9ujI1`m;+ -x hە&:V0V*]"1l@V7Tn̫4othuYD