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 QQ,7 $ c% HOL-Quotient_Examples:threads=6elapsed=27.019cpu=43.732gc=2.184factor=1.627zXZִF! ]ŗXf1-q恈N/|p~p%+)</80WkLaA̢wH? 4ќ\hPK>N2#`\>9OʼnuႹ=Dk1*u9ک]\7" "wb,'!:X*& cJ>icd>zB - B|bO vkJ?" te =F?-E@8w2 'SLTF #u?{v7-qG cK{R_OC3QGYg/I&6Dc딚`|ZqZۯ4!X jpt$jA\HDr bT)xw[/mP7Go W>p3N =e鵄Pa Q7f|%axX[]@9uU!\1?<VP뒽?44gU:HoRޤHF.o` TD\s2uNCTQdsPFJgObQ2Y`[k8@7=t{d蒓}X:|aMG>ÿzF 3~50!}ᾉ#[0~}Hɫ8\Jc8뙰,gK9+p暿l:n#}V̜:&VEbt*,&lu[lZ`swJƻk:5jẐdq~)NP#1ɕ%qGD !0SM'[׭Jԩ&N.ҧx8 3PAxM#ff͡B٩ouMPqO?$Խ8mH{'ɏFTxIYGz?;R33b }nY Ԟol f1aa-N&k*<1H}#HRYC$;jmŰL相{(&K UDk̩P|<"Ƭ]d 2 %-'W+] Q`gYZ17120f35b11fdd87e271e089302ee0ea6f464cf7 1ffa3922d6eff210af683fc33aa94d0c260d1ef6 3810a6e744a84157c42cef25038534029d44d217 39297e5c7830d34449d5fa08191d0595f03e831d 7974b88d00ad9d146364b2a6781be58b43f4d718 81f0ae14ebd332056fe82d2234917c256afc8014 92e3d754b9ffcc3c8f74f6c22e2f9c739417f39c 9f68e56d4f9f5484ac8659663756adff835460a1 ade3ad97dd32fe559260faf9baee7f04012a7ad7 b8b83c597cae60fb14d3c013919ae29719345eb2 dc447d8aa2e5972060d5924f038d0f40ff8977b9 ddcded323c05e1628043812d5510ddc7f789e01eb1684f193b1204941db7e33c4fd7a8cbb739e7ea 75cd3bd2f18570d903959c7fa605dab93056a383 bb662d998ac279236eb5579a0c61a505a3eafd5d b309d0b0e23dc478b55ddc97af70260077d75209 663bf363b3620e83f207b893e27de54603d7c173 7 HOL-Quotient_Examples