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  ~ ~w;D\\ ] HOL-Quickcheck_Examples:threads=6elapsed=65.168cpu=139.800gc=5.684factor=2.157zXZִF! `*Z]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋlYpfh݀ ln _f`Wh)#CY4rꬄ#|RBSˢ p A[?rIZ|q1`Q;&/}XgEl>KH3$"OH󾝈Z€)k 'mҰIڝ,mM*b#߷ֈ=Hӟ2uia\FhsKz opɑJ$jm-w |k=)PB|gZQ^ TYWE/Yn>,=]ZciZ蝸8cD hAO]?keG7VoF8#Oe&Rbrd]$1FBkE #]#W1Bxiq>A54]zۗÖe&Y C% OEfua٠TN\OڢhUH CMX)#`IXUP&@{tLLXZm4 1 X7W/iMvu K $:} i;Aۍ3zZY snܮL|냗:J2_!FRw|6B),Jk9j!(ƾ \yJ-}3 ӧ;vrUyINF}>1Uj8?iO\_3Qaw-Z[I' 1gI[6{9-%/cu֮{ĔqiSJC A?q:Z1,HXs:᠜uA撍0_C+ձi8\ڦC[t 2(g<`R3ioˀK\P?!yEbx$եWpv  *V|~$([`m~szq|4kF,z5V?ߗU.D{5ܟhQXlK̦-?i/CbKr!)xBjKl-RBbu ;4yGwH^G&d\.Iyk:ބ aY~V_N@]uA|uȊBЦ&u^Ξ cʖlY5ę A)Rǎ}ߑ lVG@0cΝu%r 'jg_E#E5]ᄢ ; HOL-Quickcheck_ExamplesebGAfoñ+O'PN.gD| MN ױgYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW Èw4S'ǴYR;N셈 .m@:Qdks)#}x@ k0?$A@: rF7mWʄϵCYp:`۝2h!UQVqyO|~36rU{ p} ԏgYZ7zXZִF! 3T f]ŗXi%;;?,xtՖЇ1y4Ќ+B/,٪PS|1AD\xW sc9(BX2cohxe."i]Ŵ7/*TIh^H3 4gCeYy싺İWk71$i0>ŀ%ymΫL{sX4ީY*1ob~Y^g@Ǩ ?𴂈zg.Y6;f F 1+v"S_(]Z7»ML4AWámrےB:9B!lXA qkh`+8tZZ&$K7 nv_ }n0bjodiwx/6 vqI4ʧĨ۠[1w.R5v {I5P@#j.)$']ZI䵌:ET#49Ӌ$۔YotҒ@=Trkł!'hԓdU_2 +#F9&|z֡#+miE;E-1sMNq6s֯ћ`EpCʤmSngO*bɛ v} ngHj`t3WƬ|nk@'3*;ݳV8ιa#kW\8&P2w2|1*Ĺ# ZDrޡWډJ.nXR(bGxAs!t\ڽp\2T8$LcX}Q 欜ªR2N8ˬ ?`#f!t3@/Ѓt5@H}QK{q/lk( ZA=ƆW= R `i(X 滩 ggGm9aaXj s-Uta> UAuSQpL tk[VL{22\Y)Ʌ#)du5cuD ?#8;ajd xb@N뭉E<`?ZܺڒdBU~U`ĭ3X; ^,9Ω[J nVmUЬY[h\ުKRQ`73͠ޱXkGD(@7۠bJxeU2FHmɷCPx&iKOTunb!XRFyhCD`qOɆ=y}5Muթűw+7z$.c.tu``JpU;II,BR|6{TV\4S6uX:lbXڋF$}ȀÙMʤT6]\@*wѠ ~k]'c<+̸/J1BFf)+<^sp8lCq^ *mVidS2 tL"ٽ樖kÄYʀL=ݪ)v.>U2|U)l,5iH3#^a8~~ssjRZH\ܣ.#M;.iK(A3K/I0e+lip QaxT}Cj27oZ-(KJu˘%PE`DdKcE|GiFt#APW>_f=ߚ.j# vnnzKt{F?K[%7$H;̥]A`kM[,ZzMJz IBS0mRc!y8t͆ϐ3 7,mzZ:bjWRZx1ATZ wK7 EHp1 v1bx0.%r , epUB#@"J