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 J l /]HOL-Word:threads=2elapsed=23.281cpu=44.468gc=1.912factor=1.917zXZִF! y]ŗXf1-q恈͐7ӺV G-"7-?bt+#6).&q >~}E7ӊYk>( ݻLfB;_0TuJ?wU+|!~6u@9@#Ybîz `cR-">Gtߣ(d` 0޵|AB|4cI>HjubF_~sLxr5@ț]VYq2즗hicŞsB}[l~NYy Kk0{\>vcu7I;=!wި:XfA1+W$:VJV^ CnAӞ=3ZQR6@Jk36Fք;Ӿi`b @DT|<7 7|8[0o즢<ĜMh~%{)Uzĉ[ b? uV !&/Ӕ2*Kg_c/|sijGFXq!7xR`]b#JܨX^hb?D** D1` j[G/YZf9?q73'":L:BrYQ`Jˀ5},^Kunq8< Қ('u5 W@`Ÿ.Ծ'23xc';.W†Z]a\BO?\o:J^wƄ.v;hTĞLB{.1|W> k8}61/BA ʬ\D1*c !ʙ VYn*}c֦Dr(ӽp/>]V/(Uz  sdAF${nI_gCCPF-g JhxJzF!PctvU htW,+XԀt3:VqC2` \HB- >6Qk\S},X66?j3@Y(7o^O|g:ی#LNz頂>vKH쵌Ŕy%UO龐_=ϴ\݁::`D O3]ƭq{*xLt&аnUgJjs I#@P/r󵞩m@e6@뷳`( v2J"'])͚Hue >+dfLӭdEr-+RʥN~!ʝM46X_ .ێ*|nkq usÑ~0o/J?㮧's$7S~c/oǕoI$ntz#’4_|MrD‡,;y> +OAn&*b|>:1Owq8,YF.UsQ;S[T;R B8.U]>w&@@eO"h~U,ے um-`U1e,V^1P 6\GgYZ0bd5fca3e2a3cfd19d556a3f51c937d34f3464a1 139a3bc21788cf355fad3f6f2baa96ef139efef0 2e2f9e14282bc6ad8dcc55e0a304713e80241805 3fa0150ed58e22b0591fec277459309fbbcba97c 4cee7a4a8ff3a6a412156b24cb39563781feeea5 50973dbc7872bfcbe0e1d5d694168f55d2a8de1d 531c16bed3204958eb57f2dccd6cb2660cf58639 54bc02edd20109ec5df1f897881ac82269c23e46 6d48416bf9d246d3092fbb069560cf5f9ea020a4 6dd9a2e7a3d54a8ece3e4924cbdf936448330713 81f0c577e8c493e332fb1f21610088ca535dd807 89f2de4e74802c020caa76ac7c9d2490d3cc110b 8ebd2a5a70614ce4e9229427fb522b89f8c795be 98e56112c94ef1e4b2b588c91ee96072cbda4b3d a47109356e1f0d349f2a2777a5a6f25f3d257dd8 a80de914eb3356308187a22123c8b6f8bce4b084 b8ee38dd150ea949862e2fb021ba26e4c231eff0 db4f6314dd91199e1c763a85a44c260d29235bb4 dd12fbcc31a0b736edb5bdb2a77f705421a3f9b9 e1017a35dbe3ac17604b11f56a6cc9a3d1a8a5f0 e91cabf3fc84c7150a9ab2aeae404a0f796263a2 fde422d1a14a558aa55d7291242cc3465fce467ef0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24bded2976de2cf267c891e8c27b9bd77c6482ece4   HOL-Word