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  b b;,T4 ] HOL-Quickcheck_Examples:threads=6elapsed=65.813cpu=145.864gc=5.548factor=2.227zXZִF! `(O]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'Ҏm@yՊ'*~:Pu0[8( vkSA09b5a/=O݄*/f,,-i WF<4:v1<;?غ߶+ϯʤ'C wk~|> !KҔ:g_ґV'hp㱤߮iW eQc0}0'qRl]uwS9YdwDY1]$d~vM#{gq9FCW"ýInuϑ+VS15p[ܴb!!s.Y$EQN/۷fV6jG!b:Et<M6D =Q99@V#@$`tcWZ,js)R')` :O[K ~6bUy6Smrɰr`TreA^Ƶ~jցZB#8߸8hMqpYG0*s<}BB|WAud#d/{{i E=<&×QߙD6VkFnMR :;T9MK"/ a|H/̻ńNSt.0(V< _VD/zf..gYZ7zXZִF! 8# ]ŗXi%6_U6N t;f-Tzc79N?S^ 09xf6眐 i$$щDDswLbe*YxmPM;@~4وU:}:d|*3q [A] 9(12ÔX1qgr,0jn?'G0`0; ĐG`S +. %{+]mїi--PHc~OoY!L45l zoDD-zZX .Y+2#_SP8K$sd=`9WK(aʫBMf9[Oa CQ"N,X0a ^p.R]%%" 6E{׷ ؁ASb-S -{!S}G)9'`M4q)x/Sn(Ey lkNmh2Egl3 [,AO(6e2l#;}R̴^DKȍ(} RQ0T[!(H´J!xͻvY\"6PX9Y?Q_d{ن4g2+x{J}ִ9x=l}8F PB;"9[|sR*pГ)4B(ekgsu0$h> \)sl0Wmw%fA:3~SK\)|j{ `Z uvJQ;01>o0EMw9\pp5_ RQ&t;HKkQbוmKe!REO닿y*}PWFN@nڬM Ng66'|$\YʱWoDr+8An,[[f#9(g:pP-됸. LK#@uDezWLw Oօ!ԅ[E31Pyrd<-ۯ#`2g7OOgC_EcY~<9 )hUqo̸*W€4 ^$~K g_9P)ln;(.2H{Ot`lnjc|)ba j?EԦw0?dhӰ{:twsʸ\Dl\֑rSin~ĩOΥ)ԞjytI?N$'_[3Z<;zRJ+ jkT;j>/VX &3 }EC0GMe䪱 QOtp9c7H0REy借n[Dwx:KEL ݚJFXE~O9[͋5l?/- }d%T4o 8?YB F}@ON \ZX{!Om LӢX$/+ƵGY<:7ZQrNAԨ>\ aDu3:!)+ Fjud$A"&=Mm1nzJz 9!-%ikdFs la,f="|;{0s'ӾU@Xr9ﭽ^/n%:م-;'nm[RLr!s>M ԍyvz顸6; I%m̜rQVrppv]B{ XURa.Cq[ԃfgchO$7`NhJB7v9H~t 'jE3x=vX8?hweq̭O~o31mq*[006v`hJJh*w(\X[Vز1(w~%?\\(+Pi 'Mp^QukвBTde#HA3 ̠ +aApVxy,x]S$[]u:c{>{GxqU팮*ؚp{ޫ|1@SN0o\Q C>!Zm0[6OQ7U,+' 0]DF>%zar=.ͩppAhh2 p][Ȃu(SC ';QWꈚ<]ײfG0OTި ^qxH#0]U2"! e*f0chڮOE3~Pa)>Ds& Ռ{1 ,UͿ6H4Kw/N(^P EƉv~]k/f dx AN}M )_o)L;rb 2'Aڼi(sWy2L&Pq뼳nz,KƂo1C8NMaTh~ _)tL*K}C| j}j4")g aVsBp N=~'I-~PKy I^)5-*NWfMÍA\Yis7kOa Ae5O&ZWճ}k~'}X;ݵRq@ E٩w8JwiUOU7' bK#<;V 7hURm:ߤgt3f.kzT.P?B& :Ӎd^ZEv_֫PE! "z2Fh^R%]zoZ/mӞHA | 9BBV5N=!s^#Jq`?PkY}:m2[=o-Φ eQE=c $l_p"r3X.45@iz pCG$IO 43;iuWLdnYwM8,tEykIwą_HV. 8T|wnW==_Y'|>ΏH1`ws0,ηLl֦