SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info M;  m HOL-Quickcheck_Examples:threads=6elapsed=66.274cpu=151.316gc=5.436factor=2.28 ; HOL-Quickcheck_Examples7zXZִF! w]ŗXf1-q恈?X Vd!x{f(Ǟl9o!'8~'OGYTƖy.Lê>j( w>A*H)=E1Sסkю)kM6hHaԖ}=7eK.\uYXc2LCUm:? uyK$d(N[O?qæ3w%!gSKýGMٿYY@d&dK']hSV"eVY,ZOQgŤ6#B䂮t<],xη%9F0v]U~.%y+S[XQjWxZ<ՓYp0P>J4+HN1*Baز4 Sο<-ZO0vilfA]15-|{dI M oc> *uÀ˃)G5 0(aK5Q Ge31ʒK|yblp w0P]:LS<[$<nށQF+?Qlq4ku c}f;+/%`xmPw8Nm4%[+}LeK~K.p;#".1JjPk6@.N#B*(V)u ;xz{7LzdO2`pxpʭ. ٷ%A( U^S-z1z3?kF9$xѩK |y05@uXnpEDpG6,bJ;mOkUM&SkkT@c5Xx8Cҕ|Ȍ%ūN൧  z\i\%7Յ{y݉4"ߴ2&4P|6G,zʣFlE cTz9 XdF^w}Sĩ2]MKymlKC%^1&ƒ QZoF-!({U:^rɿOsV'r8}'`0YJNMYk͏['/(, Ajb\Z2?lZr"Sͯ9?1 !5Sճ &bRմ_|7,1/4Jȡ!}VA3`)_RhK^e|*E&Mx2%DhKH,8'>%^AUvlOB_&Q۫Oj,+a`xئ*yro )XH'+Eΐ_sֱgYZ7zXZִF! 9a z]ŗXi%Nŕ f$Ѣ۝q_QE]O( -R|UGXd #xgScmfLPy XXL^KDz4_K24XsoY1Ea XR)4>QS22T˟/Xm蒉~Awĸ:#5I\N4џG̈yw&D'/Ύߦ+2Ib¢eyg+j*'ťlU*Y:6+OOT:0|5M/ocp"懻t:=o}]_4MqGjK>ܦTo[En!hV TEJiavLׯL)iZ8!qȹ`5VR[ Mi= ct#r¿ 5ۘnO2ui{,'̄DI ?Kz 5 z;rMoN)UVVFlR,@ jɥ٤mh:7I|$n5d=dv`cgqk D#a g=^a0d;ϰBYtMY%~}6}!\0 QvdFVߥ PC1,6=B^gOUGԠX \lCy-=x+k$' qL޿J.wkCM%cn ڦÆ[>UĈZȷ,#&CbClܰ^;gLSԤwJdm:ΧD ihĻ<^(έBy6R83?VnO]3-lCֈOFǃ0z.K P1}m 9#QEߛH)́!/i2Mb,J`".-CS( LKx1EeBP[$̸aOPв{0pg,=rLeUIJ%Cϳ'SJ>BuP?bF̌О\5( 8I]i"v 4>e?TI=ѯEIfGE+j5߽$̴eWCMڤgQ"vȽ{[%)#i KIEET %=<v_~Z/gl4&XTHf Fx4-9ᛐ`Sƨ1HC>tIѝIbS铲7 qBad+l oe7ȿwrj$t"\(/ Ë gt"^ðOdG\ NIF!0Z+=Ԑ}^ԤCbXOmֆ١3I` ;l!7~>/|E{q/{)*OZ?uo)ǕFzTbAs$ d:x%ˍ=e~NOsn-H˵jkH=ZhBݮWA $IԤ0Xs#WYrX8EPjwn"}ۡ g#j-:g!M ܎Q,!*; p>OCYv?yRKK2GJ@,-sh㓃GÖ]!_ze4t ZNdvRn3 eN2}=<`'y cǭ 2 ~j02ˉ7pӿA ֗/6qt,=vlsv ݵ,C#RhEOCcHReȕ=`pG)!e"mަ~ۣiibQ>ܬJ*k\=cm1D zs޳.4sBJEp;˰49J?_s>{IcPao{6pROb.ilx3KF%w*w0IbZ"M7(#86X1tKiW Ќ{gLI2|-4P /s9r ' }^+ʎkR՗I9^&sqE]XJzG3O@‘Zȧ58C9']߿C46ZH`︎O_sdc-5<c{Z&m_>t#\N4nlͶB !4fuz Ed\uOC= ?*uwI A5j9'Tr~x6jIlMQ54)m#If"*zs}obEt ?#t0|XF7\Pa%dh w2X:=C1P3qV"/-=׷MGMsD@/(.ZϻQUf-z' |o gM*7hulâ CĄLϋ% K#< /ŠԳ(hcM}NtC+tPtù `v@smj -DۧP BoT>Z)|8߸+NϪ^яPyj, Fd;n!~,"f(