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  0 0E;\4 ] HOL-Quickcheck_Examples:threads=6elapsed=64.384cpu=138.596gc=4.940factor=2.157zXZִF! _(]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋlqS(ʶ=d6JcC5viZ۸bE kto{'| }[rEާsH{7+599ЄoZ=M2,ˌRa_J\17`ױ^mڋ0- qSЫn0smғl}iIs4PʪOI0Tz:Z $qgYZ7zXZִF! 1 ]ŗXi%6Hx8]:nx6_`<)RG"o+h EۑHXO@3Kc ޠ ^㪶ݸ@2'y&Pk8fAAWPL"$%5IEg-Ó5\ゆ-)s]RʱBH=ǡ?`uv>kj͘vu[> {{ޑm,K+2Haэ"6 ײt ~a :.pn`ƝƔ346}MT=qumӃXMJj bcd @Iu@x{泸~\;ߪ0Z;.WR&ڥ$n!{\cT{UA\F9@SvC؃l.ƞK<8HԽY}Y_Ћ9RY‹MSn*;[U9J4*dC&ob 6k$<bv.}T8f{Ơ0Ak+i}GN*+*08|h :3=IscBWFhmĩCG񅤬9״پi詈p_ҺuQ+:%I_Jj~Ty2oL :W=+C ljx.(LS'R{;W2>X46ZT]BV99꘢` *OM%t '=>ډBs>Ar߻_(!VqA39Νou\PKⶔFs>xkr0#O`\|WvGUj.(C~;K!hp"~aePpdZxeG{[2+H9ICK>H}}6ƂzE]ٲwwiikF%z*l| ̅g UG2`25S/o&h,t  5EgG܏qJ8?иfڭa$nO9κ,=J3vl6 fYS8Ї(~b0Uw)5>GA:TeůބBuodxĖ|qaGrzC~s5JiN@(Vy Gǘi !yXMF]\4';#qoG%/hDrdP*G)ξSQ)6S,p8~U_[ʝQta~Y] {y/s-RbyoLJt'Z$~;M\P_EޤP%y}:cucz(;hrΞrAS>.sJjgPy8fϧխn$LaRmZ>XwDX@H~(0>VJ~KJg|lLF(e[i[XCBtj_@B$q;Г&rH5h[62YbYC`\묃Q6/vyA C3:."0q|A8ew!ҹ>Un\xl|E(ͣ_tO;\VB9—\vEyx1u ^"z;Ey%{U6nvk>4ziTq >S~q'cშ1N $&x4OIJ!%Ik5SΆ3U5g1xGAԣ)i1V{)oT[iWT[? ,#mvtN*ٴT i(NO0.,l˯(կK >k96Yc2\5+WG _2qH%->פ륁D/%kEOqXT:\+C>C2¶iBڈSFZ#ckw2M%h|y+v|8ֳ}5I.7~bP'Xjp򀏒C/#h)`h骬b9%vKj\ |i Z(JUj:ާ ]0I^޳Ju3* .@,ל aiXgz\…V8>Uu&H0%,Q9L DWH2& f;i)6GlѩM6͹1Wʷ5!rH#$eXz@sgLd;$Aͬ?!tT;6ڃ&% # b1V*5lEW䁣8!q S&$,\'gYZ44006e1c37accd6e00c338b744b66bff9d5533bbbf6df4dcb2f17dd318b7b5b00e238c73d2e97120 274a5428ce8f72c45aac0c20e4842031bace28fc 0a33b0c95605a63f19fc3f67a9f587b8e3c2e81a