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 uu7 T c% HOL-Quotient_Examples:threads=6elapsed=32.068cpu=49.880gc=2.604factor=1.567zXZִF! ]ŗXf1-q恈N/|p~p%+)</80WkLaAǖf46>Oh[v6*Cxӝgw l[nf,iNݫ-H^=}~3-bcW,}x.WY MhqL$}װ?|ƊY 9O*ϧC^Х߄ RSO-][3Kgw!yZ0A,m%ڤ]-]q$-h6&U@?Xl.=ݹB`rˎQB>>kͫ` +L, $/Ґ w5$TFsL7.Ouڸn'1" m S(C@+TVm+CVӅYx9&pP=#aQoh[:iqVujWIa|7P`FhHJ1mdϒH<QI( 4,7鼿X􌹊 -vH诽VEUq_q:uxd :%'lw}!Ƹaϋ)-"iR7 ַߌ CXtG6/EO̦nx -zLgYZ7zXZִF! @c]ŗXi%6G~a|Kv(ZzKe s'"T_IE$Fl5¸!nL=+gѡ*ݺ'z||`ajXn\ElȞ i੪_ngTG{%L3J9hF)1(w%v?ߟ|^*-k$΁Ru^yp[(DȾi71xQH;$~KМ'o:t[ ]# fzw.N%;!VJ۔VKf,HշNh,Y_ICb҆j1<`\_ӻD3+U MiSvTvpWh1ٷ$s1~o6q)_ *>beԘKMOO{DqVMFebQ>1A*b"ݠo"ȥ(ў䯶nÂr_t 8  +"+EƩ_&AwqxU "bƑ~+nZ(vW_gnGؗ3eg:nr%Q4;&P?:4EN7%[w@\ٯH|,̤ ,Q4'WJ1&7Tu6Ŕˊ'yݙ=ҹk9(f;M{>j/5n?٦XxZNFc6**Bz4#)dV 95fdbJ퀪}3 p݉Ǫ.n5ĮP1.t:`Fi 9(}]^WY`0S4M|X'27A|1S[1QV{sWxQ#fm8Ip_E#ӡ *pIRtv2,%QwGﳘ=2Bh0(b~7W[]ӌ߳oS; \c$) #UCkil ڹJwΉ0"YɗTf{ E^EWExl|D[?PhBR*(/G _f{^"HYKl@ہHvԲ O~P8iɣ I>> ۖ=Tqihddld_ÖYrB'K<"Db]44;9 Bֽdl@:!P/6.:ưV#Ѓq`+y)M:\e0{ϷႿLec>WдO+5JB>Y:<涡dHq(NXX E?cJ0 ["T];\6̀D髊 5 `zw?7Bdq5/B"*jJT@uam/jmu9MLT0! qP.=KC<n% \k&\!ToAN@j85rX2BPaLHf02[XZ,>i"`Cp) n Ŕ̼ϰD%B@ >ZD^`陯,w7lOdL`  @ͱgYZ083a992b80b4c23477d5874cd5f1c245ae6753a8 17120f35b11fdd87e271e089302ee0ea6f464cf7 39297e5c7830d34449d5fa08191d0595f03e831d 4a548d5b74834196920ee1df36b7e3d7145c38de a8fc7233ad737f03c496f39ceb42a026ee006fdf ade3ad97dd32fe559260faf9baee7f04012a7ad7 b8b83c597cae60fb14d3c013919ae29719345eb2 ba7e2e77027a67221a96d1fbc39046355a1fd1d6 cae5c54d8d20bd007a0d510d9bea71e54482f13d dc447d8aa2e5972060d5924f038d0f40ff8977b9 dd7af1b7b0c843285320724a053ca87cda80e45d e153b82bcdd60f4ec0e9f431f0a830cd858d557319990c27038b33ee8dd18ba2d61b4926131235c1 03f81b12908762f49aa62e387917fe6fd6ee54a7 4b0ac24faaed0743c01981662e2214ea6f2d73e8 5358bc4277858c4674d218629a1378f2e3e9c276 76fb6a77b804c9548b07cf6921a4eac69578b2f1 7 HOL-Quotient_Examples