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  _;\T ] HOL-Quickcheck_Examples:threads=6elapsed=65.137cpu=140.796gc=5.728factor=2.167zXZִF! `>H]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋl@ [$1o\JeT`3ZJ.7hws9T$R?*cȖ)koYIm3~n`v3DM{J45kX74m#Scne;[oA3 67 ENi}m+C7,!暤r gM"- \ .?%$ >?$?"yCNJ׺1̼kUIaN3neZnރa baȭg1u- s}aق1ӝ*S(TE3?eؖX/g#֡ 4Uټ81 PȐ B=l  lI2f<,Fͫc8F02̷W.- K^Ka95Cj[>iK? 6NYerM  4emM |KF\]l[ɂSOg0 BP "׶Dˈ͇-j ^|S9&LD!FaЦ~Uj74s5D En]0 1 ΗI|<ˌ\iGz0tvPݬk)C`.a(te);DRVU=Ew$zlsbdžfA,C_%T6SMźooP4Rd ]'Mx2nƁe'@ӎG(H_ PUbN>Ե✹"TMޓC˩Ŷ/UY3eټc̪ia ʎx[P@h|ԺݕԵCB쫯Ė.הZu>4fVg"h(-'4#COlAO)JIM̟6Kي0=A {2+4ݾ\*Kzτ'8vQ^Kl!9b"/ ܵ;բyXF"jA\lJITj$yGQ& >$ L%r.˚$ޭ@xu~B!T~(h~%NJ̇Ji\?^E+^sIt plNthz/iRv&⅗-:|/CT Vo:` YJIDR[QaCAOucX#,̟\_ډa|M~$<3ҰӞeroV;$>2k0贝Z]C(6 /2~c)9Gñ0zqS ; HOL-Quickcheck_Examplesōe0JAe&,Ws)i~ٷp>{sV%˿{u 3Pg>Ku!'Am7yx% O;Q2,Cr+ى FgYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW uV1]`XAǒe꾝 1L\J<^{wϚv^apyuW`=a$vd 62u~>X"u $Wx { 2'}327]P,ugٷWf#zwbCO4q?X5x!1lJ?ӿi0 㐡* Y;e@,=~4<ᘫR*OxCYN*4ʸ@55YɍU9Q WG UW Ѱsv Vx^(̧b:Vm|Pyp+/:f6ɮ/zYk+`4*h/IYwΜEdEn֡/(_ʏ#"?@sC\6yeܗڽhb3 6X,ω=,3Pi G9-(G\wijJ1Ihτa'#150wP +2Z\Eji}6a !TP=Ķ^[s o;bHa 6j}ZaӢOmQwk# zYzN_^Gˆu+Us{c% `[ZU uu%ȴ*ƅ c' |w^xzS/ejrl\sǠ?4h<φxxኳvn_ޮ=oi)_yҶS\DS5()d#5.:Oab^ Y_C: #X1q򂞾~_i95 !&ϣ>ׇN.MKM!XhWs4 |%aci^Rؽw'FM{{3..'tcy[`H[K=|_mB[kDvBW2S[{a |8`@ L[­rVx<Þ)9 Y,T/LTaKL:V8ud:}vޫ;4t]a\efƘ79yRRcq8n"S5RAa@S#B"G BuUz 6Kmdk l=!N$M_Nv ['YꬾĒzWpFXT.ޒ l9s!A8T3oIĦ̬?!8 f0] %M]Mхp.Zyw }3hV~ք {iNZOS^d`R G`gWx“xM7YZJIBUгYX> Cd>HgWP˓TiӈQ_7ZQ5j"p4ȎӀg$UXEC(K7g#$^&˩~_z7q1Z f܏0XIkyqq-[6qu4إ^_A9mk/ ¬U=@m@Ψ z.u M4s\H.o36WGK=Y,n gKm:DrpEY򟾤a1(nBo*Uå+G/W/,j^ n8G^_!e9#+%/TA \R)Q\VCoq*$٢XR7ގ iZ2ATM0NX e i1G"Pw;;AR`KQ>3]ME,m]'Bbo Cz ck; iRE;-BTo;~۬x|t0s&"a5蝗,'&$A }+x̜PFu3S3@{sՐ^E)vW.Zl_ɷ=wXp]ε1ps)\u!D48U=wm Al,a1U$'ET_A.@}n 1zr CC54uP O0I#McKohWِYvĮ%^UsmGfCj*R2wI=$LU]vH5< 0g_3[nl>4kTAͽD>R*o՜!ot-L025ǚݙ7- [h/siUez]8X_NΒڜ ln͋](x+ic2UdžGIJ#w.^N:ǢU'Dx2Tt4q<#`C#aN5n SwYll̮n^b* ,m&BM?=O