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  k;dT, ] HOL-Quickcheck_Examples:threads=6elapsed=64.824cpu=139.948gc=5.296factor=2.167zXZִF! _F+]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋl U|'a&v70hBdw~󌺰Š z잳>'ןz$ f$>9-7bIy>5<.]Ta)WebKlV8U'R?7R'vj#|QaiMt5^S&l574`>8y >?]rjOȳVk:@_ ',l2pMRnHvHU%S7n^up^oYhr7Gvrٯ:*QKfS0D~VVJ @;Q}!.PNx/Lqʖ+NUp蘺@׏kűkUC $i+w!n3eSu߅ >V^FYO}JDv|3Kz̖aKS4wUG=wmʏgJu҈IhKۧHGe @AmYG,3tZhīFU JpT/L_ V4[] 9mBP؝}CtV;Y`LNTÂ,yab G+;V54jG^s  O&|W 9ܕlw.}{ o9#$B??0 =+5J`b*6"U{"rrg%L)U.ʻ!!ֵX,f/gL;~&Wj QSS]ޛDp}{s2 EI-춪K]Y8)APZX%R1 ; HOL-Quickcheck_Examples#,}lpd qMw `Q'MY~ٙ_d2%{-Bs0 F Ǿ4# 7gYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW 2o-DTD3 \8Su$ y5p]gYZ7zXZִF! 5O ]ŗXi%9(RѰxIegw.ީm0-Zc$үa,[G6A׳jd&8:TA$zίO,.gur4-3ǣedU҉tۃA2R{Cx dQb>&ڮtO>h=8gKPM 'PojҰIT2Zٽ2lpiqSxv 0"tztZDAF9Em j buWn*֊?eS 0Omë Ye5+G,yO27,`NHRTzx8ݡo ]Y)tΞ_^z[/EJZm>G,Tb9.p(tּw2V k 4/GE= omV:e @D4S]Kh~lM{k! ie"uƂ~<*^?\{ Ch?hmDfH8m/Xd"RQ a/ւ2n7t:?n#̵0}4̞/<A&$ÔnuBboHb:HzQUx# CcsO#SreOEE|*47Q6[/PFDB$~١Z56%Y?6p6/ey0jd%gKa5W`N"W^C73xɸLl쒡66N`+Yط_Al+1PڒF7ZwTi9۷TG-&RqC"Ymdg.Gʭ٧|LO²ÿmdV`w]wör$ mY]}mBu,,9  sGog ŠE[B5Ld4PGl-Eb9Ep Ö́"@90<0|cpظ0@$]b78GXL4A8R@=[}h)3Turz!u܈TޛߝϢQA 8<iЛVŝO!@HR[snd! E}{E-n%vu9ĭ7EFhVB?J(&⨴KC<Қ´d1 `N' nG9h,, I"}\_@VXRTu`|rC%rֈ"}8(Jn9HTrbK9 G?υ 0_OXͲ#뛤>(g3l}C I:rUr2űc1CE^E{9:pZ$Sj5-e-, u0[ou֩`I8h.iZwc}7%/EFVȄo`ECBЭkӤؙ_usT|+Zӟk^0$AЫ^k7K FLd"l9U[8m3|qU~$F8a$pIhL@b?ڣL wxr\ƌ&'`z|L;}?Dt;)lz!zY`4Y/T 4f "4pDX:d"tF_t^ՅCK,,`P/]TOq'=n78v^?3eA]*g^z^%B:uEB=/2ʧik,ya{(/L j 6,zWt>(%v]$ aP1> Uohʡ# x+ɮ*$>HeVF~V!J1ޖ_l1bVm a/7!qC-Mn!MGbȔi⢬ B^A '49ӷSf?'_f0p㻏a𥸁Xn3o$ICB--KXWc؜+HWN.ݦgE!MbtH p}UZ^.6Qv4.YhYlA3M7ܤ7^(F?ʕXoGLbd53g-P^M7OuGZ %!@yw9/l=nET.-OVIoF5t]M&e,,vb{ !=f!Ngc*-C ~+ (67{5 Kь߭_*v1UΪF(z9bܙ0=(^:_ N`,Kh&O MaN:A5в}*JSs~*hDdgEOBb_!+*n) ΂޼][PPrU ҆XG> >̓l= 3uXrwƗF |QNF}6bcJ[%5aۤ#t ݧMl RizC-/\`eK`:o )[m axDQQly 0]GOmj1~;As]+ِ~ՏހSmF*̗sox6'݅0SlPb[!ڪǸwO2A 6`0-d!nQ̕OQ{Lc~*-ܺ*9F=! `?av\i'}i\V/ܲrp pS\e+Dk1@)+[LzmʹU 3; gYZ3bdbbe57529362333c5d1916c16a713f04398258f7b1a1f56b73dc58bf54d6b554cfc6678c6e3f45 8699c09d5dc37a7f84bb6047bb44724257d556ee c3f53122a3ba7b0c471a86b4d7d4c5316c1b924d