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  V V;T\ ] HOL-Quickcheck_Examples:threads=6elapsed=64.993cpu=140.448gc=5.828factor=2.167zXZִF! `*d]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'Ҏm@"[=Yu W'O5 NI1eψlɬ>Ofw~H#EUE=֬f0P=>q#H_Ҫ‚]ǪS-`e g*×c_Mj3 -e=SϪrKEPq;UFGYTCQ5'uSy}+e5%\j%}Cbb1_qKv57h;#Yb`\Џ|$d ^g ,K*Xtfz`WGQWc|)rgdI6Ş=+%2m/5TWY2/R ch$0Kvf#"0q u2>#:9lG&ʌS#V"`u0C6'p <$ieB.Q YeN0SC5Xq楪9+БV6݄,3z$/)w׺xxd %&Ez[)A!VzFh}b] O?c[ϰh-\P 62*cb! @ÒnL6b•l))d I!G$3ɒhﮁ>̱|WϟzTn>'_R.àI ْ tFLW=:wtE{uOϬgU& xi>Grq%E2t)ɡHSZ<-j<>eBЫA4$om.Rq.[ |/bv$y #)o*W)2ƅLn2I/Ivk=>0Qk0yd3&s^)H221ŠP:A. u V{; B.XЋ*C]m@N3ߋP^>m u *r-om =xD#u\S:wC Rg$AoaxjeJl-zٞ{,`whl 7m? ; HOL-Quickcheck_Examples*\'0`淾/&&0Qr̄[Fpv W]{bSxWx`H:|l =7gYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW M %:׏ͻ3 )DK_U+_9" lpDݳX\hv6Oz"oNm-ĝDFY.ZH|biR$+g8Ԧf0M$dJ^.ثNJa{>/,_k88ԏgYZ7zXZִF! 3e ]ŗXi%90gA0HȻS>šnWP'("NLQ5'pZz`ئimVx bcReafN]os5٠䛤9'ݺ!6ȕٍݧ4d/hA8fR\CV#ᵸFf#fsHe߅Oj;ZxT*]Sa8 ];3'WiW7Yզ ]Vô Y n+鹿cz,ҿS׊D[9mw8!xBXLY`Me!?+,1s,[k/h̨QWӏ *ʮňj\X WZ_%Bs]vCY09gT}='3?邾=i3Y=w>3{Ty` QA> MD]X-ua,u#,TU@}E./985_ۙ!\u7r\D\{Ѿ;E)p gf.^mJӍvbl`Xpu ֗3ڼ:JٽFx롣 ?ݷkԈD~4f?fPY9h˗UlѤvj)b>AH9r,>qFup  DN٤UŘ4ĭJ@;JT{_ ͔˴Y8Y2t`|Ivy(X$h=TW}s-8."VfOH%,rmF!k <GWԧ Kײj- ҍeF{4{-jm_1 +X@Fc!-nq8pl6Knk@YL ?5(>+8 6sܯǹKHK l*q6yigNwL7]2œ1sPiHn' Er0hsZ0:IU-BG!﬙ _l ;6\ѵHQWJyf;UwOTِ g\֝&g,8iɩW*dmE y`G̓&CoG /Ьk~Nuh}(b oRּ\ݿ!hiAej {4~3 Wkdž<imW,SS ֵDV#΀Cy/amuxO>}T[7>Lv]26i]?a4rT_ "$/K֝l_ef8[=9);wmݽ fǞ:u|ڜe ~E<غ)%bS -95j! >G6,Pf.)RgAeM̖ۼvgQ'.8ҏ >3[H7h7׷eW‘>p\/rQk,W`{'`n5275W_/ Y$ޢpѧ& q/UjzYT]ƎerDfէdYnD/rSĔ#g,QV_u3Mf+*_vs!ܤ!`*tb y؄H&9F밢mńe!'WΟG! ˴b(2_07Le\^s;;dk-t؜fUxNRr%_X+C9A( A*IIB5FzDe2$ +S *\ S{Bh*Pz><]xPy#_E0 n\|f~V0V ʫ٨Edpjc>]V@=p@ZĤ&ٻ(G>ƫŃm3"sXfȍ^.Z36ɧgpɚN6̲X>kOxW+r`Y=ߤ+=r1J7m<*IV$Q{ggjܙ_LVsLy-h4f53}[u8̥i4tRu4ykéClynbZ$(,r}{*grj 姓Vn%qʭ`; DTNA[k46F[Mڲ|qo'@- 6,<9MB,.?SJ?})"YrLqQwXT`7itHia#d=+ <*`'>fCbS~8 v?eB2>#7UHPl"kDi!ħ$ӻD8 _4etw A>,LBϮ\M,h55MU{;'c a4UqE FCxkRHbga`18z} .jiiYvJW_c<jd5ފݿb|mT'5rxCQS%\S/n[ƚxZ!NJ&DVlgYZe3cc32890f1eb4ca660ff6502c698820bd93b05138c0e2920549e9749d6e446b2b50cc3ebc6f2bfb 8ddd6744a680850cdb382982b4e7e53d36e0f0fd c1aab8cc0b1f919474a1a1af5dc6d8bd244c5a16