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 r7 L ]% HOL-Quotient_Examples:threads=6elapsed=27.623cpu=42.352gc=2.516factor=1.537zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%1cZ8‚1g_8w9XP-J가Ô;ӫ ;x\$NGkDP9݁'YWWu=c[((C7>*aϔuҼj"JvYX36-AGJ{|^&6`%EmXF? JB wF=&1iݤHP )LxK0P$&db0VLH ].Vkv"_F1xʷTm :aAefʅVVl`E,_~ CZĐ{JƁU˿`QU2*Y3.Sl_ nhN.nxE5'?Y_"~AZL[6$MS UgNa~ں`R&n6y# z@kE?Af0EV8K~pOOd0َ#cC3ʍp}67ɻhݿC+~BQm4Z#MCSVWYàXM |1Y ?/;oVgYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙X͘xA0c똊:#= 9Us3L~,%"[hC$ӄTP 4\싃,4]XBoV9Zgn ]j-< WRnbc;4N)iϺ [+\{TX\T.D ?:QPw;`%=>Q:5Wv[[V~gYZ7zXZִF! ]ŗXi%;8kyP9\k..l-~DlsẽAgBiVͮg$d)2:A2\jy\*J~!?PXd[_,M/Eױ)ݑ7ꭃ?L@o7Xd$!H?@saOP(;]w/69zC:e k ONqu5׶į"Ӝ iTZjdbRVsn/[m^(MJ'E.)H<>GS"ЙKF{Fr[0)UHR|c5b/]>DJ r}(3MڮO3i+ 6i:e_V6#z@<:mBYB%( . $t/HeR}k"^#~EhޔAvpQ{tҞĀ0Kbof^m0aJ:+-ڷ>>-525@ P()Or?(Պ>W9aq Q@ E6%'B\IQ.ں#a0LUW=h/Vsc*ʌOՊPRq9 tlUXilfIHzZ;ϚU$@" 5hÉԸ3[MTcp.SZ?ΗƧ9t,37,|;w"4F3fM096w "sR:FFjX)޻2*A7$LM䫡2~``k^gOw[P9{ L+>᝟䲟QIWMb o3 ʙ $H/*Qg3fSm17QD>>×&c J Ң4k JWL/ TH6bl5|B?0<^MUȱqʵb<|zi <sFZ 03DWfeG]Ƨn2WZ/,Pcv< I+S;jc\ 1$\