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 ) , /]HOL-Word:threads=6elapsed=8.791cpu=39.916gc=1.448factor=4.547zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNA'EU`5 %α;y϶o1ѿeB{sjzg.PKkLZIu5O=5Pp08]"Eюx{W@+=̰h?CY~?GgD鑁? In!ǝ7upKC/8>J/;? G;\q.Z%=yLS^l] T@jD=1H< q%Au C7ŕZF5H6 b0\|+biw}ѿ@kۀDMC,>WWIruۇ;ʠzsҋ-PymEbMVUc#1L 牙^"U0nd3ʚTJeq Ջ )a^BO'c"rFP4ǡKJɷuԯR(@Ϭ9#9`5o ~ O%=MwO>m,JC1fCq}DyjF.Zj)"?"seܳYMv_/imv wގ'k{Ȱ~h j„v\4y!T" e~j\tX7 %QBgYZ7zXZִF! *{]ŗXi%62[LH}c훽3zDf3r~"Q$ 8S}aH;Ǽ*# Pm1OEklx?%30΁vK/ť_T)Fg%g(ohrP&TD25I) \YTYiUGǏ*YNa%yLjke&[CB8=ړ m^Xg<3 5G˨1By ki d|0smdp1+őyH4 6H_x^g>zb1c.ӡӼ%UcҢkQoUTN8wAv(PZ'Zi[]wgG~44Z͒Z'o?TKR1TQzΔPA8ZFGՖG=ݡIJjunToJ̥zVJ/RZ"$ 2s]ԦX|UNk (?<;X%{m?$NBRE>r}Y?#@6X`Q\X긶3,ɟ0۫CQ!#Us؊M v eon /KOӜ@)/05A DzJױPt]TϨCy%ۼ`m } ~lZ '3ˏ#nUq |vivbHpg"R2;$UNm[&"WV,AkM <aC=+!8P93Ȩ;o )^?.P*-b_"0UTO(xgYZ0bd5fca3e2a3cfd19d556a3f51c937d34f3464a1 139a3bc21788cf355fad3f6f2baa96ef139efef0 2e2f9e14282bc6ad8dcc55e0a304713e80241805 3fa0150ed58e22b0591fec277459309fbbcba97c 4cee7a4a8ff3a6a412156b24cb39563781feeea5 50973dbc7872bfcbe0e1d5d694168f55d2a8de1d 531c16bed3204958eb57f2dccd6cb2660cf58639 54bc02edd20109ec5df1f897881ac82269c23e46 6d48416bf9d246d3092fbb069560cf5f9ea020a4 6dd9a2e7a3d54a8ece3e4924cbdf936448330713 81f0c577e8c493e332fb1f21610088ca535dd807 8ebd2a5a70614ce4e9229427fb522b89f8c795be 98e56112c94ef1e4b2b588c91ee96072cbda4b3d a47109356e1f0d349f2a2777a5a6f25f3d257dd8 a80de914eb3356308187a22123c8b6f8bce4b084 b8ee38dd150ea949862e2fb021ba26e4c231eff0 da16c92bb01abe57fbde29836cfa54e95db0bd06 db4f6314dd91199e1c763a85a44c260d29235bb4 dd12fbcc31a0b736edb5bdb2a77f705421a3f9b9 e1017a35dbe3ac17604b11f56a6cc9a3d1a8a5f0 e91cabf3fc84c7150a9ab2aeae404a0f796263a2 fde422d1a14a558aa55d7291242cc3465fce467e19990c27038b33ee8dd18ba2d61b4926131235c1 03f81b12908762f49aa62e387917fe6fd6ee54a7b13478a6fff2908df7a3672e72d9988e91940304   HOL-Word