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  r;\| m HOL-Quickcheck_Examples:threads=6elapsed=66.111cpu=151.184gc=4.972factor=2.297zXZִF! bKg]ŗXf1-q恈?X Vd!x{f(Ǟl-&珠a c]u>G024uG!z-_d7V?dD:s>V6Z@a0 e lNN3ܲPW߄nukZ' ZliLJcAItdcfQp`tkQv/hzvZ̀?i0(;gYf\"4ǟ'x7DLQsbdqb&LF0Gm5yW-ԈeMr5H^\~bO-g 9KDa:"t| #aUF(0G1s"5Uh^@>VDU/}c\꿚іﱂx3yͬlc1HetF!@U(~1Cʷ܄/6we hs1Bfl1 JInq DŽ~<=\aBw~P a~*X149y?W !5>*C2ۿ:͙SO2@✱*q8 u`lqRbq/l'ͥj}Zl@;]TĻ%J%- )'+9Gϭ!\5j3PcE A4+uVcٔjh2<`GKY&w_7?:t#Dg H6TX6o;I//n(((5rCTΰed྄ç&Tʫpҵ ӣj98`ďƵ;"((g7(#Z<RzxCup\DQW1Dءuw>$&bXZN?J\n`Էck b/H#4-E՝jU\ 05:ݿQ$kM{qW6EHN7,| gzŪqH!o*iyoU0k P f >&S{):Eh2 .0k׊W}ďs㦁>jk閕%+"eS~Px$޷ }A7ʁ\rAםC! oO 6~ gHcW[V7zZy#k9PXWfPMujn(kS8hpѱcj9c>WN`ray0ܫY"OZFb@G>qX> }w{BRNjLC<Zi^m{hܑ&p/$X ; HOL-Quickcheck_ExamplesþyI>U`PQz|S6-KYq0 <}f* ہ5! H%sNBCJ^*jb:ҝ+wfEzveWP-VjS y(gYZ7zXZִF! 9 8]ŗXi%Y,_Zv`);2)=*(K5T<0Xj\ѢQZtz)k03ŤZ3՝Ӥ QP7csb1  ~SZ("p"O`?p~w=TK>au:Iل>z'n'/u Aizg@ G5QLRxgL(K!/WWp:e;^Ӷ Zxn 9~pFiCIk 6pܕϕ2Jk~DxqF\9F|sÉ R=o;-'Kw=권^j*oQZUIȵ 'a`IY YAʟ!zؕ#%?Nw f @{p,F B@*Tq-myH#>9ڳ$ʞ8cfd41)raj钵d(ň`-:4LW&dᣐf7;Rᣟ{߂@"BWZd@uL 9Zc9M_+J /2 A`9 7aǵ') At7d>.RAIɅ_z *SqܳG1s'"A$y{i2Ís]%.sYnKF(SuՁÃ]/ 1ͼ& s1?Qi(AՁV9;mHJY\Lfcqunu Β}A /|"<)Jƭ`LZN&-UZo“Kg?9_9M)rgf8AIڿi:8sͯ=z vϽ{ q# 9gO RS>LmMmŞ;!w-U>h>l NhUI8Ly><ȕf+bT tk)OD>R$ZZ@+sݍXw~9&vwHk`f+F+]%q-tӯPnYp_Nσ<Ӌ v3 V},oҞMpenGrJoŽ Ί若@!= 8&7mVX1t6^vZYKqޗX-;ao^El 0^18ZJ1/ʝֵd7-CHs0iKrm;]g/e?3l,+i]],k{[T|^(O@z?" r2CpyUPOnsw yxO]+|#S 2\s\<$):e>>lZ?w. 2DG]l}Ix*4QE!:˴c$fk 6I@2ʚ:`s^܁RSǍLUBci8ϟnYљnCd7xP,fb]e*w<bjt-Ʃ(-?նWM\ـSF Wʰ/''l*~{#i30"WYۇQ%r5BSO Nh]̶)xNPqe_1t~?EmokQL]' K׷@Yx͂SBjZxƫc. FeG?hAw|H?~ߪcG6X|?n7+q?y4~13%C֮\>`n Jhdf!CI\8k]@p (wєZ- D$rRmHn TpY%GoUuR;7t(L49e0c҅\-t}"^زQ'ݗaZ^](B1yR{$%~47dox62gsdho=+iV`ZwYD%޸7Tpns#Hi1l d,֌xGZb%h3}f*d;Zn6fI>(9tޏ<6rʱgYZ1a10ccf87a1631fb70aee9714bcb344bf4ba099c 41c993cae6d4f9d642b2fe7a1e3966262a34e974 54b50b16c1c7b2b4eff9550912b3e479a4426bd7 6fd9df3dfedd4d886d1333614a66c3285a8ed17c 794cef3afabb1c309864dab5c04c6c6946381a35 7d4e32e4caa4a33c17dbf2b244497ef95096effd 845b2fb60fcd08e3cf3a9df9040b8b1ab70c778e 95598344681cfaae07d77ed25c816a7171c1b942 df2546ea5dc8c96cdec67946389485bd548a49603bf217555273efd10b50aa00addf88d4a39f6640 903f0f5a2da47a286396c2847bebfc79373e5110 292c03adee347cf88ac573fbd7d82831cfc890a6