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 d7 ,| c% HOL-Quotient_Examples:threads=6elapsed=26.999cpu=43.532gc=2.272factor=1.617zXZִF! ]ŗXf1-q恈N/|p~p%+)</80WkLaA̢wH? 4ќ\hPK>NG2ZMH+ ޫg/@(Z"H>hyQg0H|Ǘ"l'w$(V0yLgd&@w!gG9܌%nV8tcSH0L©KOi}|K%9$s5Bo tIi^Epf81=7bJଭ3(/GSϞs [P G#f~,ԤԳ%dBMwo>b>؛)P]ޅUF_@Q>׻}>%.>a/-P CQ,Fyك0^bNɄ@Vi( on*1#Z bѿAk! MMmiB?]ڃkn@qLTbMWFPU `;t+b詎7%&6r(RLnn= HscAHaOS_PB5*ϥc$+*ޕKf/r`Q>ZHȑ]U4Ud$JENHGs3ηa$7e1WͰf0-Z2gYZ7zXZִF! ]ŗXi%6m8e|Cr!g#1]Om>0-UD:U*|c6Z|`Ur&\TXa$cZ@)D9(&A!U@٤L695'd'rU vǛ =-(GZZǟ`xYdVo-CHot(cYDn#RU`{qqW"OٸQo>`WE4 0 I&go̥F^XPB}bܾjC X փl+3+?Fx] T*Zv>j.HK8[{u;|OsPM ]RqP[\`:>ɍi!sBm'1=-> >\FV2| &;[iV۲KLYlZ/rZ4Y*b= Kz&)ʯ23L+d`,|^AJ_(_QH6] ήy',°EwxpxՂ5Wȼw%S+0QMLmE:c6^f%rX̔koǐD*34퐱v)Ic-+~/8\ws.|pH |[5 Ko0sɮ_NӀ?VokX]080|4ɑvHmB"T痐$Dk @z7ʻ3S}_n҅[M5 0~ ADgYZ17120f35b11fdd87e271e089302ee0ea6f464cf7 1ffa3922d6eff210af683fc33aa94d0c260d1ef6 3810a6e744a84157c42cef25038534029d44d217 39297e5c7830d34449d5fa08191d0595f03e831d 7974b88d00ad9d146364b2a6781be58b43f4d718 81f0ae14ebd332056fe82d2234917c256afc8014 92e3d754b9ffcc3c8f74f6c22e2f9c739417f39c 9f68e56d4f9f5484ac8659663756adff835460a1 ade3ad97dd32fe559260faf9baee7f04012a7ad7 b8b83c597cae60fb14d3c013919ae29719345eb2 dc447d8aa2e5972060d5924f038d0f40ff8977b9 ddcded323c05e1628043812d5510ddc7f789e01ec6653a213398dacc5da9ec9ed78efb792c1c55ee 53e49ceb6bdec01b73abd578b53ab5073664047a 1b514ea73e71e3dfdda3608ed1dd60c9047d0d7b 63920fa210e72b0c1d7ce39d26caf19a7661cf39 f69d57dcb37244dc2a67bfc4db62414fce964ce3 7 HOL-Quotient_Examples