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 ;TT m HOL-Quickcheck_Examples:threads=6elapsed=65.749cpu=150.456gc=5.304factor=2.297zXZִF! w#]ŗXf1-q恈?X Vd!x{f(Ǟl9o!'8~'OGYTƖy.Lê>e[Yb^b*P=~t.9+; B[ 4/U7;S*T (6lplG QIVs}|,0h’WH#f_ykyV EnTƉG:唶2i:ds@00z=`|0'Rċ5]| UYj#=lU!ͣ?) 7jKnFED?mL;4+ ]"=k8O+׌R 8ك}#Hi!U K ĴsHz)H4ƛuЙA[MRYVjlK/l3pQ2clRA:^,Ծgn|{)7{\V藕q&hYEzQ>dEv26'=yB?5d",an,S'O 9v6&] 7Uﭞ)Ȟ;uy0-a`-J0yyyY"׊M Q'i\ʟde1r}a8EDuT\o{}XyŊDR h.@=s8st$2$[ݩ`lNK>4zJ3w&al"d]|Ҍ zx7Hl֌WJhc ۆ$Rt{ B>fM $& B5SkvBbA,{W |BUI6o2cAWbw25t 5O) Ȥq"cy~)ijEAv6\ߒy Qڀ詾@!33vgpMDT͸E<kry Nȹ[[T;L/pF< J1HJтT$k0YK0;gmXȉb%DPҩźū5d}|S6, B!WUOK"{gEQ:Bf ԓE3W%&+6sI BzR\nۢ3*YZFVi.-(7xknq@!۸( T~gAt,F-~_?YC#FmX;f( _ը$,wSfj.3u1>T1)d&lp6ɩz$`*GOLKQ&17A Jʋcu4N8)Xv{ʎS{p}xF9\mI֌kH37DyuMr3#P \bM{3h*.ӵQSn)!}i7HQyf0k\ -C(_5.6!YEUno.s;u3^25t0Lń.qjd՛{X8jkb|)UjRw(5hAp61x$PTJaI֬ Fŗй2@z@ ^8۰4r{ol*߈aB+GCTHM ; HOL-Quickcheck_ExamplesLȓ qUc҉v U/Ÿl8v:#l#SW [d: FE alSHf2q0BA#o5xGO &hd R'T(yt>Z5)ר1MgH:KKC2$!GǟKPr|@c %0 ѵvWiAt[7}jB !~{D`WUS7{ @e*vxe]vN(v()CN 1(xr׈h|"?>@[EZ6tʰ'lSx;F4Fvn w/baB[j Ls jp2 3[kؾ:ΠmIj_8FB0gV}|@G;Ks*W,&hlit޿hĆWm⭩Gܓew#CѥV:xXȡb龨 /rT.nWhn/ɻ7["o :ڭWOb58;oq.GUF@VKg/kKH;_2ѶNaLp tT'b/c~N+k6tfan ōc Gi3洜cxe'"nRDjτ]xPo-1m#C?\]AH:!^0s`f<(rg-usM~c?( WrR=yM| ))L =5#>^>!9NS6*<@oMOW*)5XBLڱHdY$"b 9WOE}x n ҟ#^{s"d#u&Ikv|h4,920Ar $6V">&&V|Μ} YCxRI:BQc;c1̃16ۛ3ΘB+gJ7Ӑq?zEHmQFjM 9Blr_K Bx*`feݳSls$wO00ϨKIӊ13"W'dTŔwPקHȧASM9 h|<0[J$׌!:W90uŸ?yI.0v^Kz*VPˠ: :@VkfSZ8χ\lW.xEn n᪦w!忞zVW E;FlC`66zuIR#F(!CNDHal`&LԎc)=RWY^ gd23Av ;:({$NQg"7 BQ>ntۯ:A߲zsLr3X.wDh!UdBijI5g֫uN׏WKM[Qv ( =tۼrғAi2vط`j_,y!.vO8DAB}zip /%ESe``o3qZFنwY- @GxwPkT8j쮀?\T`Zso7-nA>V\HGkN_^HJYwR)QqFnD/o/Ņ ~҉2(n!3sR /\TZ#_cv|xɪק5W= ڷ ?rrH]_%ż;z;ӗ&^LqGg5dJAG(x#6ڢz|h;\o?;$!v)K]Ŧ4OV ,M"86jPʅˊ$Vnf{H4-ǵBoKYNdI^hb1cU\ }ݳ8vi$aHd|$0=U'Ac(Dq;Pf\WTc'TVs"%z{h3;I)ш`+Odb9)@fymLJ7cq=؝Q18