SQLite format 3@ . YYQ77Atableisabelle_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, "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   Z;dD m HOL-Quickcheck_Examples:threads=6elapsed=64.569cpu=138.692gc=4.708factor=2.157zXZִF! _,]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'Ҏm&k&y]f\"ɨm@n@, ~$UwdxW-xϤIF'JM)(,1ҌjQZDveQ) 2P߱; lG70Ĉ6εom(OaAQ+$} Jȉj @=rgf.jd! mv2ޗf]"?0@wH,p_qi)|8$lWcx02R"T6K:;2d_1EU3~ķa{y4++݋ЛW 'GYASHƗ^ Cj";mtN  ͳc}sQ1p-xsºab? a8dQK6޸.74tn9gK\&>2E#]$KbDX;CDdn5p]e%}"mAٰ-%n lHʵq-|q9O -4[*ǝtR#ꈻ ?Gtq'a^^ZQqCV`$`Ofz,[{}DٴJ_5.нBbD3a hd=79KHUT' J } ϻc4Nco|&XX'(yG &J^qwI. `DQ3BUQqH/H Y OE2m84 9SVK&S,}%@uueZzfF2Q%=.Ǔ`MGW`!9|h#$&+C{~|qhhLP$$yzӌa#e W&L@:!_BZJކl`-b#\c+FB@PLCp7ӌNN1vK)9S3]ajx>[`(S/}p!2o4 Tq^%@~/y1|C]>#@?=({K6.AP+\1nA$a3ikO(݉طm8%DSiL 9e ; HOL-Quickcheck_Examples>\APѵ.F8GrxJ5_FvOݾ'%Үp_=Y}l\ϛFp,Ix d`iމhWL_*nRi;mVhQ*xB9QN~%M zmW1l&tk,}>1hMYPa&-d ѱgYZ7zXZִF! 2 ]ŗXi%6"LjXL{r6)>];vjbZ LP~8o&z~G exPgUSFC޺LGA gqm "ԫY,>_j'Mvᠵst?'"RiZ?Lpt&6#0 G ԃ=."uګou S`Ŕf8KK#Gk#1hé'Z}w3M"C݊JwvB(nXs"zwL 1Hey\F#,]/;y,`v/ĩ]BCc%.$AyHjfQ]l\9 .ΰT˻q}3 *eQg'D[ +|hKLX5LF;qYc:2?k՛WF_~-qprNiC:4r8,qh<:,A""/R0K2Vc8^H/3 P>U,~ @,V㷡엌^SgΜ. %*Vgw6RNIA+x ^z4^f&~؁&4?r #'䐕IѾڡdsE䐝8\pw^(;>@Xpw\Ȥ0D :Z=2̚G],uj]&}&S/p)3G''TiHml9Q=bk9M@~T<.#P 'n|̀)k]•4ѵ\ҙ-&wV0l? !ybs\Az~bs+2.Ǘ%BWHXg wrV#xqCIWZP*fgUp$>]jq:7C=K3IN߳H1ttd%4|1l0"$ǮSIJIqo vw; : ٱݧ-S[./whN9o7ݒ11 4{-P3HU45 B]=f Ap:&-+eK;؀Iu=ށC*;2l<)O-__upR;|p!"怲&w(YzLaRo=TJn8?]2fG W6G % {}3B+ɘtbږ6ʱ<s0`9K$J<,KU[GD Mi"vmNgvNÐSÒk4bm#cwpK.W-0zD`ˌa MUd/Ex!Cmah{UQemc.A/s"qmV"ؑd} P7]b5d]9cm㻼$c5dzXS ߒGY,MEsvkkbR>4O!=!rɱQZL0gYp{d 9x^"A%O2/e^F~R Ö{ 4Oεփ{@l>u{$&q}S{N\tdaY€~Y.7Fƶ#aQ C+q>?NGwv(\ 2 烁{]F0eFx}=7ռ]ʄ֊xwK^a݀9-&J*mS#,mO ^}sr My_~/>[6"vW7tJ{+Z, 'QC]ic9E">'R i/w[i懘ܛoР1P+kGvۖZ@k k 6Ac= KF4Ti(k1E֌;co T7b"t\qbo.﹖A+gu;C7՜09lP{~an ZW @X3ѧE6H;,.v (KSyՖoPGC9K ĩ ݨxOOKl0 Wc&"6cbVߔr[IS%ZH4y {LSt]DV )~}_Ui*9' yXeFNnսTlm n{-YWA_SӳoS:hKa y۱a •|y8;hhՈW}HR%>;n|n4?tO&Ah"r4V!Uϸ|Fjneeux{]'LPFIUzI̲g&):#wT͑- |݉YgYZ01ade8d609655e791b8b418d641e0d6520225e99 1a10ccf87a1631fb70aee9714bcb344bf4ba099c 29a769ffebf1a71c6aabe0057994d89146c5ddd0 41c993cae6d4f9d642b2fe7a1e3966262a34e974 54b50b16c1c7b2b4eff9550912b3e479a4426bd7 794cef3afabb1c309864dab5c04c6c6946381a35 845b2fb60fcd08e3cf3a9df9040b8b1ab70c778e 95598344681cfaae07d77ed25c816a7171c1b942 df2546ea5dc8c96cdec67946389485bd548a496094c9a1cea78b6f4fb7f551d5d68b467bfe295c7b 813039a69e2ed3cdc91d1a0f5b931ed348d85609 acd4942fe717bea707104429aa2312ad239fdfc8