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 d c% HOL-Quotient_Examples:threads=6elapsed=27.155cpu=44.268gc=2.216factor=1.637zXZִF! ]ŗXf1-q恈N/|p~p%+)! }qǧ sFM/iʡK[ qJB SֽfoRV_1=DvjJ!o7;8kipo)32|2{~"%}sb O;#bt!O>ڤ#6k6"ܱKSLoF ~ց X*04veom)ͲgL/\|c4Y প@#׎# l,tňSԚ{دBgـ )%2Zy! *ńY˫7gnu??!p 7ΆT!G%tpIpLuUJ1DZ|E9SBW o_Wj3(NNNʍX=Gy;hr&=8[k)LP((^jiNq_5#՞@͊[IRuS+36J2e:6“Y.B , AK$ҔϋysN~YZ7mQĽ5N3ևl"P H䲝 ^}U#SSIV -F"3|ʰ`’ +(|&2[Cň`F%1ŸPٷ$@~>!1^*YiNxͻ왫[!G W'm]뷥Ӛ(7*iWTß.͞1Ͱ$%wSڦjF+{j ЍgYZ17120f35b11fdd87e271e089302ee0ea6f464cf7 1ffa3922d6eff210af683fc33aa94d0c260d1ef6 3810a6e744a84157c42cef25038534029d44d217 39297e5c7830d34449d5fa08191d0595f03e831d 7974b88d00ad9d146364b2a6781be58b43f4d718 81f0ae14ebd332056fe82d2234917c256afc8014 92e3d754b9ffcc3c8f74f6c22e2f9c739417f39c 9f68e56d4f9f5484ac8659663756adff835460a1 ade3ad97dd32fe559260faf9baee7f04012a7ad7 b8b83c597cae60fb14d3c013919ae29719345eb2 dc447d8aa2e5972060d5924f038d0f40ff8977b9 ddcded323c05e1628043812d5510ddc7f789e01e01c92facbb750b67e7694845954c40ee8ae8060f cf4bd480742210ae51d8ef14cc188507d1ffb65d a948c168b910c1d0d426d242df7337f8a105004e 3f9746392191c4f8ee2e4cfbbe8f1a33486207cb c4d02e76445b833f10b5fd350ee5bda1c288cd1a 7 HOL-Quotient_Examples