SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  ;;tT< ] HOL-Quickcheck_Examples:threads=6elapsed=64.279cpu=137.944gc=5.404factor=2.157zXZִF! _1]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋl 6D=a8cNnD[{xqTݖ;;] 5d'dί\,W~7aXe)2 Lw6l"(H-+eBz;V?C,?(yy珉2(oD}T#99}'qQHaށ_<^rJo*Pč\vtHIR\>j'd|EWE%8d"NQ< VA0gX7zGr9/,}-5MbBnWU.Xos&OK'#MyT`dfȶӪdu}YuՌB*] 7dR"=o6nN\%vGSl)w] W,<peq++1J,ޘI|@N082hHKy/wJJV垈XC$dJP_roG%9gQ O0j3R;RsbݿO ɮJDj%oSP4CU"h6K&5 UucF' <V}}8 I C͡)mͶYD4h]YFTr wfJcI^LkSM0 k"T_Dڃl4mjUy p -_\X~od4t X*#ˌ$B10JɘAG$BIV_YO˒6'o~@g`x3+3&ittz(SaA(7) Z!WR4xtSId=Zla Rdkg`:K1]˧4_L(vK6ӆ2â mN AYq-#0<Az.%g sggYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW 1:CbUoU-ƠS5o/q./,?gBF(=7~9VVKnC mxcs%O6av! ӾCY`'"nNa_πce6`eGxŮ9"ɱ= )#`J2^gYZ7zXZִF! 0 X]ŗXi%96g[nmok.wuH~ X:g> ZFaJb|=WtmE9kټqD@k홃.0~cPgQ2\a !Ui{G1~xc;rh?B[/lyM_'+Eʥ?-It w՜1՗2{Uѹa6$d5 srOiMFS -ؐIO 5C-vsBAV.Uq'RK tqN3|pMaƷR<&\8xbrW+ͻbD;0N!h^kϲB: g*vBtCNe- , MQ#Ѽ+֚cV꼰_,z6{Fk2HPoO#RC+ސ#kt  Z"\QM:*`1c\6UUg*sh]6%cT2r/IeU.#P偃NݍiQ߈)qKs9|Zs/wuu (:'#&FXp7[pu cd-1G![!G[iS=C#7Jx[0d=nA#y!%~\r?XJRA5oPj@ko{,b݇Mڶj:rxe=n*p ]LO,C y#}8䘭7 $ۯc`<9@>膢i4c4ΉF) ]+ԮeSť0R=(>W*Č<8.kǁo Jat̒Ler2;Ȏ+֜؝{W "(ƁfߺxTZ'Uxdq,6BBMxDpɮ: Fj3<)U抺o,X:~w"bL`LI`1{5i9Avd' =OjEzNb?lwCU$KdѼW [1k+pɋ@óFTb)<|dEad9Vi zf`'賆{}+S7~FApm I8XEJ8uK5 رۈqud+cuUrI$CTt8KoRS;Bw|(_grJ[J8pHJe&MJ\a*l+ Sؒ 9߅Ϩ, ;%ԔL% ^-jg{lS4Y9Q/6{i{7҈0+CQ{ H^D#|āWj%HJ`Lﲈ0z ŽyNOG lٲ,!QZeЅQ7b+sDTeV4Э#44,w%Cu v'3| ̏Vi&]͌UӚmbS/{a^4s>?gQg#^~=Xt)I:*D DwPZF ;vH I}z ;-,죷JamPk\s1\ҸsuecCܦBk M8eMjK鞡CK_!2 5)A yf,0VI58Xߠ ߣ1Ӫ$řcro> d6OY2ݳ<Y\ӼU]o/7[&w> \=_zX\:8@-vMCP&iU">aoX EV~(w,s%Ba[pg;gj"X/†׭]B̚;U&Ƴ[_ϑO?A<ٕ*!w>bB(>@Jf+?!N zOʙ u0ġ,X8FVC`=}1HP϶="}𳁭f"{jM'zΧѾ`F^l;vpC+pwڬ8; d}&?NUd ,-z~õQ81)9c!]5 Mq!cR{ ߧ/#d`7oVBwyA}M<ձm"WQڡ::ϟnFX513T/[xBbz2EȎ>w BCdSQPjH1]&krZUSlF|M!ޯʵK_גԌ#UJ1tw|A% &>Q(udҵ= pK= cv\Td]S"jT}R<&/AT Ԇ]CC( G]>ٓ=$sZX&gbWr.v=l'Y~gD')Ul1o,GN)e/8v^Zt5s[0KWؠ|a {$ ƴbiMP$|8kT[&վ[f+T'Ӑ((Y;Ϩן>bOlL+TH<ױgYZ7239fa90e52e0ae4fc5002295976cea38ae78c5051dd6ddf81f32d1521a081613e64272e00a7489b 26eb0d9d19e0107059d575886decce0ced0ef3ab 6c0f34ea0fc51fdcbad05b7638db01f5ea96b003