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 !!\7 TD c% HOL-Quotient_Examples:threads=6elapsed=27.359cpu=43.996gc=2.212factor=1.617zXZִF! ]ŗXf1-q恈N/|p~p%+)<}$PV>n(6tީ彊v7E7KbmC<r^KZ,+f7gb (r[-҈-4e$} -F>ߑI$=2g!88y@ m5Οm s"ҞU=O;>4p'8}ǁqdx2"JGxw\f.?*m;7A(H6|)Z O{Qă%%@"8A!@-?\R_q89bÇQz|6Io:ĜqB .&HT 鴯)!!_U~|qmcH .A<,!+tk1ś&uPe7$HwF"ԬY12lh`ŠQdU&GiÁshăJ MqQ.TaWDde~5zeiię@zH(rnT˯)Cr93̫k@a_SR”&vZtap6tr=/[gYZ7zXZִF! ]ŗXi%6Չ\JTqu h5JsU~.1yOnnwo4m||$3@)X~K/x`' EWo :7nEA TOak,R z:'U].9L)|3K!L v7~حVsc N\+&S$#Ӆ ͓n{4O.8XLS?+ƱŖ,@f-h|rDt#XĜ5-+uYg#7y 4!*]+}'S q%#v:Dzԕ|pbRl1@լ8!WVJJr(g]&f"r | {M1n4-`-#B)ʶyL_Px|j^x@+7'%d! Fþ<},D~\}}c7!,}[`=Q p)  H_=ƙL7"U7*\j nI_ Y6Qwg?%R,2_osښcŷZm_l*R7L쐾CF{3Ji"_m\R2+޻OOPQMxʧ鼩Q $Lc Asy(btFPy3.u%˰S"6dRY8ihtO^>~[L>6 y-`&"8 qMm_ \0vI?k;AbgkTHl@Tݛu\%yL+6bϲ@}?MiLąuޱw,_*ܐ{;K$(7nn-tсLUW/oJyÊ:Z vbZاZw/e"Յok@wbay8C_tK$^+SwA [Fiݶkd)g\׻;r%P^Q*OFŬxp iF/S*/U3׹;:F_>f"cc1+< ΂8mu5ht h2Q Q 4 lQw?vyGM*$\]}*Ua$?@ ~ {k &jĄA3=K"BPq=j$\)I}A^ήl)SU֬O"+x`SvdKazp`6| 1Tq+G~~*R&"vxˍLXy~sGrEH M bo"\]eN Kz4uF p\gYZ083a992b80b4c23477d5874cd5f1c245ae6753a8 17120f35b11fdd87e271e089302ee0ea6f464cf7 39297e5c7830d34449d5fa08191d0595f03e831d 4a548d5b74834196920ee1df36b7e3d7145c38de a8fc7233ad737f03c496f39ceb42a026ee006fdf ade3ad97dd32fe559260faf9baee7f04012a7ad7 b8b83c597cae60fb14d3c013919ae29719345eb2 ba7e2e77027a67221a96d1fbc39046355a1fd1d6 cae5c54d8d20bd007a0d510d9bea71e54482f13d dc447d8aa2e5972060d5924f038d0f40ff8977b9 dd7af1b7b0c843285320724a053ca87cda80e45d e153b82bcdd60f4ec0e9f431f0a830cd858d5573b7a9b2dfe4980115e308a4222253abf01f3cba22 ac0ee46d42a46b8d0bd5ae0397e22d107e7ad682 026c9caa8befa3a67feabd448ac9fff1276a46a0 a81a31e0023ea14c0d934af3283d94796882a3c2 5b839e09dc018f93009b2c395cfd564841a39479 7 HOL-Quotient_Examples