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  O;$T4 ] HOL-Quickcheck_Examples:threads=6elapsed=64.954cpu=139.652gc=6.244factor=2.157zXZִF! _I]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋlqBm}B-);Ҋ޵5'6>"~llƘa3xz`KEvsf3cEQI#̗31WXeco%pt23ϧjR 5|*t]5韥\+[{ .Y}\O1a5J:L`hWߋƻǔV̳,Y WKy̴[v.*m?t3~=LHh&3JDE1kgU"Zm]g f^-Rno5˦f`l8XCz` ̫SizLΛ8?M%i] i)0`%0}JCluG($LPaG^36 ڹ& @0]9pLw\QTxb߱Ve(kI I1# KcsP;s/ȶ[؂3=NpijoKe:\.pC-*5u+PZ=*vy;,da t4 p>_nE+dzhz#Sxmdځ薄= 6/#sg*Rַ7-O *aM_MZ-%~jGSy !*j6JReӣtN[?v_q\k6m', ɲ"4(°Τ~ym"K޷\v\#MzW↞Hޚ h+p,i0g٫'M'vy[VA?j?6Y0¦u8[)+XYMsC2, +[aeQU@#tS҇(? <cGiPyJCEdzΞRjol^w*# ; HOL-Quickcheck_ExamplesR_KKa^ߥĘOO*L^I. G1]K!J/zr-r<[wl%nOyI͖Yb~/N[*cmjr=+=dG8&sbSBɍy ĿBngYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW aw5Y'\bpR@wF~څMAj/ʼٞ[ qnwV`SiŨ&ZYr5-`買t)dmek?bZL7o-􄥨ND["Dφ$0 ?%j+2r /Dj@ ..gYZ7zXZִF! 0 Q]ŗXi%96D,B[|$b)gcUHĪ2$Xbڸ#njJ+R{cL1tz+R.F$7&J+L|)}~,gҳIyXޮH߱ߝ%F>]%7>Kyup `9AIG`!]b~pH]I&W_ͯyErRU[\H*>~o~J{|*r*ͥ{A&eŔt.99\{ńHoѮGn_,P~{dϳ-%$ $'dwmEеc 2™( rz~>T/7Ҹo]0i-w\E)+bY?[Fl[ kzHX: 5 "^}׍qz5L9Wj/C$:%\Lr"' ;O+ToWIC|O.Z̲D}f(qRCbm;xJBcA$=P4XTfx,C~+Pߧ52"(Ӣ.wxBQ/S_`Pi |qnqYlEjW^ktn+a&(ޘ~Q{xŇYz|/ enTF,JHA"ﶤA"慙 |&gა7*e8.^r[pDt|m212ًDJk]$V'AF!rH~>oE)pͤ/TLIčs-[ b p{ڪyC/<k: &o߫ث&*aY|E /Ha3Wq5E@+ܦ>m kahwMp5{ŊhĶ0V0p Y M7sEyW膿}Lt+i1Yi6GQjGT *iw BANTd2jm~㥩9=; ruT46rV f%^qKA- KXE<)hVPR͔$p&$YXKKrSƄ:`\w]V uz:+ t]Җ1V:>%sI -Qqic"_dK(+5>w k y Jjwj : Ľ֟Q~4XD~ >[}gB=2T bPοGELR/d7>{ǵW7YE.ݣL(jybk.IZr H^j?5PZo ⣨ }g@ sL  yB'C2EvBF/ `/X&wձ{0#@s(Ikn [=5tc~ʎm`nz 9(I#9L(X{ÉEOQkw > ˫ol{ҝudoL}X1*tëI KT_ŐKc.@BX&( 9Q,geS`$I o`W;D(07 &G nho2VNcwT{uh.z (n}Enx.9,#>M\jJ-8qFΧq4JjӼցSs.,8։oO)I hSpM܌/کV(fRB8^K!o5 "_/ õk*N?%o P f{"4&"}82#6{B$2h]`Y8(M6ݺ0zt/S{f3X@tU쵣Xoal&qlYHD)v $9C}%X 'hu{(< 6 i̎cg_>PPTS摿ʤԍuXPqj!bbhv ]&+jOI^X TVC#P0씴뱓9p߶?M L%Sw!Fd8.u}U^A8Lxwם֭Lq+>vҬpEmL9 5hGJ;QWt;'nCI1x47P:P5=j׽ő KY=.h7 ɯNܺByWN˒r۲\:twVn;߃Dz{*>s%Hk5 4) ҧy=وm5h645&jƿF:es/gYZa11be98798d8917a320915794c57bcfb2f89707e1e21a38563f73ae1e71d122bc805ba19ae3a1e96 44b44dfdf804afe70e094dad95ffb119fe1510fb 7db0bb0deb0c950dc1abdca904e5f40182e62495