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  z z{;\ ] HOL-Quickcheck_Examples:threads=6elapsed=64.504cpu=139.160gc=5.352factor=2.167zXZִF! `*D]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋl|XBJDQ%Cw޲EWta^wfjN3ԕe+KU'mi_"l 1t 㯸t 3`msyw:r ^I`d}up(тLuq&Y_D;`&[Geز%K4 Rm[ e+ViߨQ s?+ح`Ȣ |Hx^@AuaW7#(5q.|(CN=ek+sç^cɘ.Y@2Blp˵X>1JW}Y!(7ns U٘|롰DF8C9;u>WA̝| 6iL;tYd ^{%@zW9 ӝjũ;tY\n P>AR'FX|ͯ>x$_lUfDz騞m(umi!iփ nS5;qS޾Tufﲺ ; HOL-Quickcheck_Examples}r/ɔ޽<6@i%ixZ̘I/ǩ;.Fѣ vX= [?gYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW ÊT!Qk;4n(2OB-د}ʎ'I?k׼d\8#r<|1c=he\&"2q0Do_V\gyr-, SF2ayȯeyS˫!xYO,믽>r0o9$L8[ V/M17(f.]Ŷ)*alA#q ]>=x=ӔYk˾E@s<7FW_۹ho =x,Y-2 zkџ5z"¬bKމ0]9< T/W]? np7>rc&= B%LU *1w~J4Vd9Ӱ0lYR{R\aTs'z2 KiOQ5fqtCʶ.SԆ=$*OpzQ}%vzC31!L"j4ŸS ꖖMLKVb֒\M]eN/Q4jg5Rnt܆i*ad3Z< dj}$e?O}1yF#gF%n̑6p8uD?%&d ;f!uQ q8Oyo;7t&Q[<*vMe5,h:#mq X"I q10E:N_j O܃Kv cGUU:;04hn9VU*Y%(fd[8Vз,h100w%ICB=v%K\˅l|с&úuQ?e5ߛ2%KYPTpч]⁝7>0q̮+޷Hv;ZZ=q탼ν@T{"|Ij*@M',q06}SiĐ;)ы_Bb'xs":m߂Яgv(InJ.y:!U:D]jKS!wst-׷zk_+ %>7σ^rwVE5sڥ#?&MuXiN~!L5*G%I^3MqڡqςAoiVW[jDMx^N! p|{EA t I Rg[LuA@HI3$۠}+F҃j6}=@:N^ *IQsF¢ٺ`wre7X$5媘<„|Bç\TRJx}2+YK?r״)88872R,iL1I?0i1hJaho`fV?Q5ѡoyJ|80P+){eC^>߲.'mQ ?il3ۡc] 䀷M?,:WgrLkC<&@ש.?jh6mRrrڸJ#ViH[Eao=,d!Crs\{Dj<Ʉ8{\ ,<#[iz>J.6W9X|(@+K1bǁz+E~'vx!PYtᡠؚZrh ]Kf).~xb׻ `R`0hsط&x45Q#Mʆ< yJmK ֠v$@L9}aaRkPQ5^慖lw)H2/X@q~pƎ+4na !?|Uƴ/>@2DTIҬ( 2gkV+$Sz g=DU&Hp-}u_9 bG5:Kh3Q/. F@I=t;ƫ Ci8v[ 7:W0ۥؖB'H0_& B0oz{P򋠁6MZ6Hg Q+*D0H N&'o+(+}""B85'>'1w[VZo}82gN9%cb$+_7@&:UlM`>g\s >2@=l}X S 9:YhoyVMͰΪAHHtm9aY 9Z[K݈ޯέ) Y*&"L-߾GeF}=ᙄA|ԳS?%UAӜ25Gu+F@R^o. C'oLv&fE!ljWm$(nQ[=ku|˔iS棳W_5aE4:bO|NLRcp:ռҢq5bRD7нU.)aѶ|2Ѱxa 9<`(?~ pOU(F!pҶ]0 mpKIS5ӣ('=z@ o`/ռg!q(]{MS4$8eD=GqK$ު!=aځ_ea$y_K*yN(h5mj>oY x!W(<}YV HG#Ζی+%ݓηc*e]w0w@}jXU F}K\&4B+-ty3m<]gYZ9f2aa8970148329995d0ff01f2d52526af92429313a4ee91aa67465b8841fa4bd2c33bc4d91f32eb e27bfecc3175c5bea938916291a381f36c7f2a5b e7e13db9495f7d2da4f10d4228403992147202c3