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  O; \D ] HOL-Quickcheck_Examples:threads=6elapsed=64.477cpu=138.740gc=5.420factor=2.157zXZִF! _?]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'Ҏm@),Qae,!%E r!\8aU[kUgC :V]mAi`|G(P}҄:[`_*| */9؏*_ܕOzE`R⿏]B::@, X/s[>y'oYI˿A_Ϗ SO^4*:NFWilG3bfQ3# J8\C VRH'ObuB[ٔ?ް;Ԉ(͏[f&y P9oHI1rv:ENz`*>वNVȑuXhTCiMӀ(<%oT_A{;'c$Gmpq. ?\b͐p+vf,̮-[ Nmx{:w^ۉ)1cK 5!X$]bkY )Smȣ,Ht(4nĢE?Gk) } ϿV1%nsk'K K\Zm02(ER,o-vR) Y 6n\\e.@kުwx[G*cEwO4r*n{m<^ N#"HH_< -42z-^En0Yo(> R8=? OډxD\ ejadWu`K9ID5 @ϝh_HY]QK$nG9fKY+o7 Y%GT0dlj` -E\<ڝlP nT[/ X|Szv?o.{TVF٫r|g[tT>4Vm{9G_g)" %˙If#ǻVhcgI$neKkEN%[LDSROq75GmڤELIA|JX")ɂ"LJIL6SEuw0&u[d5s+ b9}1@ BժC0S0&"HY\?b6RC0c7f~PI[}$C ; HOL-Quickcheck_Examplesal5Zm33ezt՗ԃhj>Ct#7ݬoN]XrHpEefΥ# ut EN8t{EaƳ۬CeT, dTgYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW 2 (N ݘl?T>er׍'+~{ CC'vQ%<7dCy(),%x=2t<:Jز~Srt,l\xV<*#bvy;>z/r#ݞ8ۻ[:%FT:LqYc̜ ԏgYZ7zXZִF! 2 \]ŗXi%;Jzhۇ闤myg_qw}Ö^A8T\dFжQQmNcwl6ChH+=:~S)ä[ f47u;W&G'y4qؘ.-vR͞p\ѣF*t;|}yv .M1YP^I4øc4(pajm{jFg?rw|Y+r 2ugdOkG 6F Tf9HR p#tRCݘ}7a$p_Yp p-T=?L=Jw2eWխ\Cb!_P}.((\< %`<6?תzbKﯛYVw7*[0z9A'32!σhW颰rm~NPWBZ'B?)KQI#mt׾g[D#:8?#B ? k<`#c,4Y=/1< !8rf#FnWR@ҋNJv@:j,2(6dTq51㩁=7d x,4ٛVy9լ=0[V(#Fp* ⃢ﹿp!d,SA8[mɮ]c@6晗``Nxr›x+҅WETqQpD"IhKIb1."G8X#EfxŔ<Ř֨ :9O]Ge@MulpX< bp%)ըYpMՏ'4ǿׂ Y~#X VDjDf.ż)\F4{cWTS,X#epUQ5{Fe&ܿ"\x=-5.^[*09q8(C  A ^]^<;j({껚/] MRX*14Z'MaFWX+\n?b {5f ؑ&cFd3ULa&9no-gٛdZH#LjbXE=&X #in+yf] =PL5\0XTѷ5г7Pg")8 l?t0t$hJ\ us5iO/K pza8i%r[#'FJafI.ӂE;kwjď9BgApu,xv/3cXCbOg!$C4Y[a.MoFZqd:RT}Fz(ʚS"L312/ٖCKQDLΟ` dm<%/ \>֊nhF'5It7,QsD;kD✖kXסּ͑s$ @\ .{hu൜Cŧq8?Ƥ M9M8Xz5XTâ6g#t#Is%۲TKK9&incL tB\wKZj㴍HV̨5/]S>lwڨhGk`b. T\krO.q2aIT9N|9Mp _) poYg%{t#np$DC jĄ(bl5_;WR/Bp9  dOh(7)ɪu1c_KB㳴D ؘ:-ĖC=0$K4T)y 7-s "p݀b {~DwV3ڏtmU 3,u )&`HvҢY]4MD%GgĒ7-9`:?-G ^@Yo3E rP[D{2:"]QS(u?I>s8wǕ8Həᴘ0)՞ z,ͭ(ꫝnZe_!^CXQ9*W} d)s^쨩,%PK(Fs% 1/T h+ԫGNާSt ĠM?K*<0g0M!pit:s,#P^W