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   V;D\ m HOL-Quickcheck_Examples:threads=6elapsed=64.300cpu=137.484gc=4.700factor=2.147zXZִF! _F]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋlTَڧt@-ڝȄA?>z-fgnqZJf&U ̕*DA'̷޳MFEFpPg5q _vыc_d6C:IkQ~8U3:w'9{uQ_^`1LbTPR*?GG^/k|6Mڭi|7&aMAInHWGBT]z%xЬx  У,+&ߏr )| Rn5\-bkՑds'bR(v C?QS@.JX½SKż"Kd <.+ {;^>f/|B+n\WistBV⪆]paaLGD6GB'͸M}]57`e+ 3o7{!xFC;hWĖI't5ȟ}) +Dꎁw q |gH΃Tt.A: u'{%xAM.)ׂ%;m9>Ӎ˃PWR||"qh`I0huXܡ^)f3$+fvGE? Yt ny2lE'@fv%{݇.8/PWĭ7km9 g9sf ګh +"34#y'>$-rY e (*S<ׄ\~V'i1 ݣS#Fœ:"X"o(wZBL$MOT0{)Ɛ}~f'm<ʜhǙ/Vғ N@~Mm8g)7b !/";.%AŠpZ#6cYfR;L./%B'.6?M9э[&j;L<kVNN (~1IrꠃħZ&#.0740hm^P2~ĈDH|t2ҰVZ,y1AedHC*C3pxjT{ ; HOL-Quickcheck_ExamplesWazXe>f4&| YhPW*Fd.;d|[n$ =)51wPzeKctwaY&]eJl!4!ARZ 3h# HCTi$8Ý#=ȫ\=m&%.7͢1Q?rjG 9 Kyc Ǿ.+|_0'o =Kvs@\yN_(|= Qs۾?"->א oo>Ot"c[{Śu~;G%l MqTÇ9x&Rԏ#'8B%T¨!ETθ֮s&?O@b (?ȋhҸN#|8u& MC,3Y7T8:+-b]7 +pEbZ-TC@ZEf٭so^{?#p~*kib[G@Lխp~Vp\G>9m\L)5w}OJȩ ?n;{*@"|P> +J52t+DxATOwG]r.huard}GޤD7ۅZj7l63 Qg%10oп{Nsq)0fAG_ἶ]s-5v6>aq3b40u! .) 9ȭ^3b-Fuw]Un Qz@jj["A3D?{Y5ʯA8mTK<͈[4ٻ` 2;?r.:x1PýҖ rڪX u&as6"wM<,Nýᖔy%  ԇ>//{"k!/\bwU3cCiRbLǔ Ɯ.'dFdm m)d?#^S8f[ƫPdyL:Mh)ED39 R~ ڇ&(|B\ء ivC2=-.`&Nd /-퍪 jǚ &E{k^<λ;hplGM16CŶVuM)6}Cϯ󇕉ܑlgr!eeӊZG*oj$:Lib#[Mꏘs~(vkNU.{Zש6O|Վ;ǍxB!ektQjLL>DIB{WKoYa&|546p!跣[g&Cj(66:<,mhTHjǮMAĉ9"u}1 Ys:21 Xs\pVX);G% (}4Dk>ׯ\h3}0+E jq1hzbIVEKjsuvr&O1w OD+_lqi@$/ i'e+Pb/vg A"sx a L;-a0e o9'&u^x.Պ)@ cX/at*LbJT^w_4p>e;o!~1(cc! q#~HWTM=g^um6t8-DmBV+0b)JtڼD'wHM(}5Q.>*`9%tW c6E:"{&%|-A6Ò<4^+~\K2*m~B'n_#E˙Wtٖ)OΪ:1 ,ImO@ԀFU\mdUNJOHS^"֊>ڞul?k:18|fƱ+<AxLɬ܈6NtcvO/2{ew-ܟ4W~~)@)Fr;zׄ_: 3c. ,xNiCNV2SF딙>tPRe+^4B`vk EBu8+c[f-ƺ!U'By"|Qࠟ SZZ+tDEk۽.X)@IiNK;H!Yj7|[$79*stLzPwzf,B63N5a.]m0,ʮv<2A0M%cİ0-Q:p KmC t"WA6+ P%xC9ޕl G2Ռ( Hd"#O\bpx.-ix׹ _,s45pf_P)f`6VԆ&ߘۣRhRۄ-kgYZ01ade8d609655e791b8b418d641e0d6520225e99 1a10ccf87a1631fb70aee9714bcb344bf4ba099c 29a769ffebf1a71c6aabe0057994d89146c5ddd0 41c993cae6d4f9d642b2fe7a1e3966262a34e974 54b50b16c1c7b2b4eff9550912b3e479a4426bd7 794cef3afabb1c309864dab5c04c6c6946381a35 845b2fb60fcd08e3cf3a9df9040b8b1ab70c778e 95598344681cfaae07d77ed25c816a7171c1b942 df2546ea5dc8c96cdec67946389485bd548a4960a5177c942feb837539a5f6d15e5082ea258ad909 70dd9d0298b19ed88e0ad62212df29b34dee6145 5ef1931e53ace253a8843862f86b1bfa31764609