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  f f;|\T ] HOL-Quickcheck_Examples:threads=6elapsed=66.119cpu=147.620gc=5.920factor=2.237zXZִF! _5]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋlg\ɤf.,ri >Fh&ѻY@ǁPVL[<8T hyq5Mv3SG+C3S#H:cmaeo݋^eBr9C[fe8~YD=xzV+DҌyZ}S2#J8^\sxd?̄.Wn> <垗#(Ij=U~/yԍ(bQ)wD5}(옇KzS`唺L#fq}sM-- .m;K2YiH_]}f9QAfvHߊ[*kñtAv;H2-P ާ#gvF' &f* p3VE]<7 ΅l!Wxffc-!' r1Xh)#z>N[;pr@, $s,7+KPV,*Rҝ8%0tq$C`/ą#zkSWYh&<%#eo֖({_d_vQ6ͪ~^Ꭽ @ό>13%]jxeDzl[!=p[jkD\;>mq\,L8Yn,s*D ; HOL-Quickcheck_Examples&jhh1A45_g0à=v58$9eyqRpeN  jgYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW 2E0Mʅ>[f"Ištb5`HJ.xCFÅ .:k2Xq=j-Jynx+y&y5S~ؤ7oMz"frŗj̏2fN"7@"7ZjgEnấ ?'[dNh`7"޻kX;[ mƣ+v2<O- <oS7OӋZfԶ lN: \;Ujy fg2'h)*':r&^Ӯ a&SK$|*K֎+aP}&ť~@7&d]؄k,z#'Ἑ8HPbiȽԏ/f"[a6- X W;ü 07N1{z!!"a0Ŏcnǩ\=d [g}<"fQ5 c㝨tV Gɭ8wk48P}ǎ쎃pă7 p?e%1A+BנEwļo q|" @j 'j{f4Ӂ.'˒`4Ѿ]ƍom l ăO>j鬁9{7nysIٳj0!a{Op4Yԋ97)O\ƐAaӈx~ƒ_֐0V*lv&9e9p_\ws)pZy2f5P?$Ҭ?ڿ?zUU=LZ`5.,w‘+;D8P5ihl,Zz✁;բCjt^)UY{WZD_Nnm!+7e?ݞ|xן95Uoљ x|w#zD Jn~v!x¼$ ~IPrTZtQ)$êVIuTAf^Nm'{L(ye3TJi.ie@+ugd[3s(++>!t9(ݙʨ{ ̋'E ؇е-QABP t,&[w Y~ :kdm<7mB24+}QqV?k)#ћΚI(Fo #UpGㅶjeRLf!Ԝ)»}@ XHӊתiMTxV;{l𯪭7'!nƬEMB /b:2)mLUD+tw6U&&HԐ0+6h\;qVNW De˄CzӀq?7 fN=8< p6̫<p5 v<E'ZQaXNߟY) !Om(>i@v1MWK[ϩϳci\H%||?qwڒKd,<W m%G `]dhQ25llaGjR!1Ӯ}٣O}6 PDR5Kݾ;Gt 7~v M@vR?̑T L FD~]*K|HI X;9y!2gN=<6]Άc]uM;;ѭ0sHd\ץ泷$Jl7q}z!P ;d? U&MRVW}m5Q;AlЕ;Tu(bDj-]G'|& ɀ]q50B^y% 15j@`JluLArLqKLH,r]q(?DžENMm)r̛Ӏ%sS04.1q~\L^ Rƚm`'!M[Ji(W6VDiOK3uW3tDRԃ5~&7pF2k7СR-lJ;qlMִC'[w1%X1?$lyCL6办o)1WCҰ;bi‘}8l6y̫) 쓤fz‰b!kzu5la 61 q.O+C! }yLEo.lnv \go[]tPxuJA,zQt_GF;KS0RYeiʽ2r;, 3cXMk<)AXqD(gaW. 36p#2Rfb[PڬũiUxD'tg)NH g)E_iy8<_9oQ:v*,poܪ@N)4`Sf?AJy5% Yl- $2'R畣F#W &];rŰ^㖟l ܱvkj>uE96^񋢘]ݴf\龾:P$eWt>`]&uj; ]u}+HچGMP":̮:*N:s`̯xv"T` k-4,4 ucNB!A_D-F4xGb )̾^ϙ?sTCft~k)r91W3m,ܢp*Av8e %&=0icFpu8b#8j96XhhvӜ{K^{5ؚhu?ST qo4$HTX6H1v#stwdMn(&r^ ùHqу^h`R2ggYZ964009be21f9c344f557d250068bff9d1cdf70593427243aba6cf13954f2663e89dd0ef448f9e0ac 8098a84a13d7e74c846fd42de0efb751dc599e66 90b35308e6ad83ab058e2b9034c34afdb7825425