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 xxu dL E Tycon:threads=2elapsed=9.715cpu=17.744gc=0.664factor=1.837zXZִF! S*]ŗXf1-/6vR[l>efD U9gY(K!c"2}a}5mv3z`DG3R35μ[=^+$i?4{#͹zp$SaW:ի(7S5w™Sp.a$ZNRH)UM/!P/䭄~M?ʪP2vH"ҫqF\XߘIT/sjM](I[XD7Fƕ Y#/^ATW%"Q'ـ?j±ˈQqzfcxeL;LT/s ,kHm/(Oo-X'L m>im-/2ޠ\6w4|p3Ed2.c2)I_`#>INC  TyconBG@N fQAuPt﫪u3 .mG24`UT"?N5E$3za4(,w2[ an܂/礷4EUl2K>zy;A Q >e;$3);~CFz-@ Pz-Y*.:bA!w"@Z!rT n.p˜1K El^#7e@,@kQV QOCZ>|R7 بn ?4 YAO X]&|@ݦI"ڡQێ IT([+([ iȌҎlA;q&w"n ai^z%bTjKPJ_1fcKVtHyQn\4nFO2ΐVNCY/Ha{0We nR=$Sض kɕn0963\]AO9mA~*a6h#[K&.tջ:4T1`*;F[rcIA\0*Y, 4MX=(yFKywQXGy(X^! )^lҷm4x@)o(, 2F:RYٶ곬yGp2qiNgYZ11d2f772826750b80c536cada54b8bf09dea5a2e 1fd9b5352922ead1afd4e3c8107e2cc83e3b2f26 25a8fc63d0185dc4a05fabfd76215d1022cab7a4 260d43e3f891ad36da4e228e1d2832c103ac4cac 2cf2a3bc01f25d2422342b87d93a704ef02dbce8 4144758710d5129c96cef7ab17cf219cdd99d60a 436619fb4bc4ba25a8c192bf4cff6ac687e93f39 4f4ec1adfb79042af40d0169b840facf4c85cf12 5206bda0ab5048aa5109e02aeda8fd55ebdf7aa3 5eb4dd6aa8cdd5e0601c2ba2e276e6ba065adaa1 6c2bba698a817275cbc14fd790731f7a6a0d01c6 9cb2c03f7d5a9bd5eae850d1a5cf508c3841096e 9f7147e9139a29dee5027cace165580e1a062196 9fde3ff780f61a879830dd7c191349169bbdc5e6 a53f9a7d35ae1a743e0277643e6017e50a3f96e2 ac76c7eee28bac49e7ea4b983ed243d81e98565f d09b3f7f61129efc089074068bee425de33dba78 d2652bd3d34532cab5fda4676dd92ff616494f19 d50f5354de7289696b328483a50923eaf1cef578 ef531c0358e3fd50519e1c143676b8ae5d9a8b6a ff97334f4113503b2292119fe63c5544e661e44019db22422d072d942dca4f79a146f700713ec562 0ce727582e1fcdc0d95ceb5a898ac2c38b5af35b e6f5abbd533679ac69aaeb4490e09278f2a99826