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 L c% HOL-Quotient_Examples:threads=6elapsed=29.795cpu=45.628gc=2.300factor=1.537zXZִF! d]ŗXf1-q恈N/|p~p%+)</80WkLaAǖf46>Oh[v6*Cxö/jM- L,)OuApBp-WZLY;TPIfίb i6QF-Dƚ( QyA22frkXp+SP cv|I8GЊЍW:}D1&W8ZlcvoiK,pZ@ ҟIiW-~%)Aqߋ ko&٫>W#7!>W=?5w$̟&,Ը4Weze d`,&rI/#zҷ.$ Jq$ߡji>NF [~b^\¡Hd62JY߿aTY%nUj5]d\G@'M#LA!]L|1FtQaVȭ{A@d_ F <''<3a_΂;JOi{q.mXVL! 3YٞT?uuG2$N[0Us{z !'+a,'e*zOVS>uxo}SQ9N4.CRϵgYZ7zXZִF! ]ŗXi%64NfM0_nbmLI7BoHPLHfb1& X-DE/sZ3 @sH\"cdWC)*`q=iţ`t]r)#_$q*╁/e="J~32>Zc/$̽λf\u|ұ2A<. 䫝UfuGOw!}~3G˫ jiL5CeN춋yrpt1YʳDPy#/h'nІ&P0S6o.b65|}.[_MH/"Lp=$P[T=Nu2p4(OڑC3%yDx'5dӗ)tmVc:%H%r~`^ASI(/'=*r֕؈?,YE5~F c M$5^M;!w us^T+2S>r41>!6e픯T{Ӏ:ipܹ17:tCƂ UR,H;q(Kh]ͧX3Oac,lsd Oj2tR590 GI!sEyBlHipt Gg{))>}UO ai`E ̚a_=[1UAmMZN ˕-p&swyJ@a>hdU dg~j堥Y8.s W9b\OIixnv塄ڞJ2`4u.UY, WېE=d"ՙE%Qx6Qo"LbcY*J|^짳hY) ̔ T%2=<~cj7O ]L`tHab-L3d Tů*{ JZOJRs &J< GUi/wJؑ(rP2-+J;vmKל$\&$_*5tUq2nk>,5~d5꠶yy] PgYZ083a992b80b4c23477d5874cd5f1c245ae6753a8 17120f35b11fdd87e271e089302ee0ea6f464cf7 39297e5c7830d34449d5fa08191d0595f03e831d 4a548d5b74834196920ee1df36b7e3d7145c38de a8fc7233ad737f03c496f39ceb42a026ee006fdf ade3ad97dd32fe559260faf9baee7f04012a7ad7 b8b83c597cae60fb14d3c013919ae29719345eb2 ba7e2e77027a67221a96d1fbc39046355a1fd1d6 cae5c54d8d20bd007a0d510d9bea71e54482f13d dc447d8aa2e5972060d5924f038d0f40ff8977b9 dd7af1b7b0c843285320724a053ca87cda80e45d e153b82bcdd60f4ec0e9f431f0a830cd858d5573a24c219d933e494e1a6d3b65fc2b3b5f617ef5dc e0509b6b5154f01bfbf9ba0bafa70119dbc01568 ddc4e850e6d209171523f5055a5ee5c04e8ff275 5c00f52a6b692d25a3855793b567d0287220e343 26f6a2b40f8df06dbd618c0c22be9db3da1d3b06 7 HOL-Quotient_Examples