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  3;LTT ] HOL-Quickcheck_Examples:threads=6elapsed=64.222cpu=139.164gc=5.084factor=2.177zXZִF! `:`]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋli#B=gCGgW +KcHYC3?uW/V,ȸ.6W "qoMt]$!b5[#+5N<"COf@/vuL.XK֢rLg<ޭNȿLgkXH!s.p Z9fn^wwU0ӱ"O:iq|k9O]"'1(}tuAHbܦP75)\0\U(q,+9r o _[h A LM^b 6lҼyh$q")r00YM(ok$ΩǗ^J4`Eő}C)TxBZ@lNhI:bd۴$YZVCOZs-@;|Y ; HOL-Quickcheck_Examplesr=r{'&NN%B=~ZtON95GICC^DQu'xfR=nLBKd6k˕vF%Y/ J9}N*%u]Vn|WC3`>iAqo>9EVq0`v꥽Q.wl'E\- ;Ε g+rg@U $2&gYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW M}u-M#9Ws Hk} HA0X%M0= gYZ7zXZִF! 1 !]ŗXi%92 Dr:,V3!@HMw!E%0*eׇ6t\^1c.oo ̈nά|ńu:F=[3/*MUa]Yv4-Ft 4g0W= crǫUO=6DbJFbAҚx)Ϝ{ ~NV5I}n6&)*XoxTc4 e9Z1}X>⓯Jf+)(1lFs,5>.g'V=F"cΰqZ5\#H{  J`{RcA˪$7^!@jh2P_#{(01>5sKƓHgԉ'"/yJ k_;D@~x/W6N$ygX)doczr ЛsZk98+;G>Emʜm+qT`fyLgNSj%cY[' => 3ňCu .$ aڴhb,}+&dA7UHR+"y1~P@p2^?*PrObmhK?L,ԼU{)_uQ">g2Z`j(z$vbB9q5!-(B{ pJǔ- r:cxˊϾG#o<;l~: ZMlEg|`*h@a~}.,Z$xeIy1piǾ1cPY*"յc͢0ě+ϨD`t;<;t5c`n=K`t]㈥hzQyɁ&ӵ2pxfWVN>u {Q(oW%"=~nuZܝ㓽R1U?Gɝ1X21+ttԷTBv>[vêW!/ fwL=x)2#m =T?7 dXi_?K3,p4Wq8ſfKnw?Bݰpz;LhjS?,ҭDm&qM(\B& XֳA\9b}z {`` rK)r\SiM|7&lts 5Rw}І2PP"pKh *NB)8.oT {$s1AZZc+pn沃1; fu)p!p!S8*ztj?qVn!R3t#=*Y֔vfcj{'FI1 yrY}nnjvH$'CnޕuI- M>aV:nBŰ֠x X>pgXc+㻟*:)~e<1A&% IIDHxa_%0̀OJkĂsmɭ͆ w'C)l?5NH(1kxU9$'*ٮMh$#K4_"K 0$Zx@O GʞcnP$tU eVmt5,0J3fψ~;RIA|Bf]$5ʨ||զ9 ؓI@Յ)Kݸ[ ^zNa(8G*sb$Q`>K[  ltށT8Lѕ=_̗,7Tj3] iKنv௮m'h.B1 Ae^1N"O?=Xٽ&)zt0y ڑfÏBڪpJ~F vSJͲݢ`YX']bQG 6'TV)4|@G:X -n/AM_Gc{e"/R}R 2cL_*l%ɜ(lɹ6|q !)' 1\ZkUZ5qvefsI4hgpb|Ti71Y5tW+@1֐S&GIK8D$_g|T{|-m,=P4n 3.V̂GfsŻ"{k2(RH9avTOWT3t igXN$3u0}̜-^w ){CA#C(j:OM\b!ʱl<>ޔݪ sYu֏,rUfQWKN"+YER~r˼J"lA~:wulF6 J OFe] rL/)[>Ixe