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  : :;;$T ] HOL-Quickcheck_Examples:threads=6elapsed=66.152cpu=147.196gc=5.608factor=2.237zXZִF! _I]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'ҎmXgTI}Cb3ɨmfn4 kgM>E~)exxgb,e"V#1ЯNy@WtNTR8z_€Tr}"=+Da'pa1.@^ ¢[oK^~,Y#Bw}!\T^IM蓦D4?ք( RfTr ޓww,: _Пe #BBGMI*%rztjz~F4L/e//!R/44LE6fX/X{ɝ=nqӈnU@~M΂"A%)e EveNJ ! 2j:z1CzQm(ќg@9n\Ou,2qlxÌ5pxQU ̕P<!4T7w@T]B I8[GmWnxѭ<˖v-sW%B[M(5gA/ؼLZ֠{큆;0hg-FQ|c>&P@E v}e r^粫 _rĪ" 6qTKcoHdwR_.?҄OlPc`VҰc DkxϯUnEŽ4ug8]DN:kj.`n>6z*Ruϻ)Ր{/jS*cPԾ qڡR|) F}0bS &gdWm("eM 2MqA껷5ʶ$eJX mVԄպΪ3+ "Svm啗dOw9y g&ot-ҩi *.ђ뜟`5̕i+F*$WQ*Q:}`A[*^<>[k!Þ+VrG[%M^چsz^om AHE쟣wkM`aε}F%?'^hQwF b{N3Y.ek7 J[LL0xh+ӗ>&15LWbBM}T$߁ҜIZhG^hb1"p`Tףc.;_~Fţ!S.P`}e)>Yלyש|RQ0e"-+.I yb_`4{Gucrk9rߥM~3 XUDCɊ>z]~&>) ts8HwFe^~!3MK.0޳bu`^pwkS-D\Jf^UCt2_Ť3m(;K6N;^ ܖ<[G0m%+8]"g" 4aMLN£k3u1Lf8x!t ; HOL-Quickcheck_Examplesf8 O/U9?2V*Qΐ #SZ/n{g\=+K'*i in?E_iIFQqlTOzSB.8ZyˮQ&S{zxgYZ7zXZִF! 7 ]ŗXi%6[Xe %%otǧ:JQT9QGpuGAB?[PfF+i[jNcި(fA< *NGo?';p=T떑 ɽݗ xfI]?h'ל!7Zl| A|jYdAGrfN6ֱQ"gNN ;󸸬ZpJtU\ĵSemcVŝQ%/u<0m ަ8rV畜4U#\Gs\5Q<}%sK;j&Oz? ' OJf[3JccxF,dBO)mM-/%\o 雹L e?;K-@B>wyыCuLDy71=Xy8  ssM\kYݻ_ApDzww6+fiD}!z9u e/`gmAymGF]fYkk R;i  &cbea,F3~?CG1W/*6u$mgX=Y[7)zSx+;1K]?m@hNtv|/տ?Yx^=L׷bήc wC|L3t~^0,6LW .M '|v$.o(J8ؠ!.k4gA/n|"W/`S%9{MIj͹:񒙤G9BS Oč;(32/ T/Y]~Z0As0M'eg4 +!0qض9К2P 9,쮖r?;Fޯ#%_ WL\Q6Hh=.MI9Ov&Y.WP]N[%VTdaUcBp *XvEq3^]hG9A bA E{Qڎu`O R8@;^Vy}3񯦄wR9 {qc݋>E \r.JOOszl|{;ڲtj[ݻ67;9Gڪx4 jHJ04b"Nǩ*!#2L##\Z|Vv/1=Oy|Z%`* c Q/eb (smjUWѶk.:˜*FֶUZK.H̤_zQ2h&i)')n'|B=H ٧-fKFN$|ݥIgr6CLmh꧝$ ^=WP7gR- EO6 \Ilj6,\Y t WBM`-ajrz/4_9_ 񢋣fLULZO_JE xZTf } fiB_R]X1s}) &q P% X@:3C[Gz4ūɝ߯nSYa숖=gAB>]FDZ'7rmiPФٮ7i Pyx\wyAtPj J:Oyv g7D|˪4NnU' +,P7#c[ŷi538&;Kr1@;۴*~T ŭ<E2"Pv&~w|F9 ЖU9(ړ M $9H,0/~J_(O},⡢Ġx\ AAI=-ݫ'Q+;Г)2(lм^n☷lp!v+tJx{by]_P 9ݳ ə,ɼTrJvhy_Pl|, pTË&;L'r15x/e<RZ1| T]{5h-;c p1k`eHe=$Hjs:>