SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info y;44 m HOL-Quickcheck_Examples:threads=6elapsed=65.938cpu=151.796gc=4.880factor=2.30 ; HOL-Quickcheck_Examples7zXZִF! w]ŗXf1-q恈?X Vd!x{f(Ǟl9o!'8~'OGYTƖy.Lê>j?!~K 9 b(̨30Xӹn hlC$oa :"yU++;Ai/H'"!wBROF yB]JAŁV9,!RTF%* #ޅU{:]T, !8Zy:)6ydZ Lyݘ>1)Ks*]`Җ)giKۘګE< ;'; qpfʗ`01pOS;En9KCz[\։ vD}-Nu[RЍ[i/{bf*.a,ԟBgy&)hӻ˶s3UXYgNem2!u5&"s;Ԡ<@Mزi * ZԈIC՗4 *zבĝ+,3g8aI%tCr9h BsP'29vU8P=ˤ;8Se VB H#n|v1HۨwBq1aHYA q7טyLXOMݯ}#%'_aQ@BТLU]LApU(s=0Z"5ED9ezLT!h Ja-ՉeEd; k̬\9"-*)~W/aBwnYaK;ΜiHϙc -:$o:\ ?,h;/tcrւb\0 f$Nh#VԮ럇 7zu̙%|,VTJm+! | E G5@ #c68#$ѐ&IZr4ﱴwͼXEM.> j 83H9 `CӒ<*̙ NtбlصeG>mo4__Wr2ߓfU$WK-Ԡױ=.c Yg:n*wy9ۏ>[+ܣyP(T~xb{LS5NGo};_hM@{%mp;+:9p =fe ~ĝض 0>P6?\P)€mRBn& fJsP}ucI $ Acܝs:'Ѧ`T $$;VѼw.<;!0$!} ּK~]h$ oAkB:+馯:K!&& I]-֩mnT95xz:>ug"߱QR *COwUfL KTZ@pnȤ?y /R<Ǥԗ-&t#i('ç`2 /9L e9k衳4;@)78M~p%_oлl&1LF1ك^@5d<i @O%{ {{WȎLmoJVX_9>L}U]wDu!?e& =8u?\KaSO5GV[Φ8pCwO(G&Y-t`7I*F7lCHV6Z~s'ҕ =bc.zr8]l0S}R2VN8򪦩k2c4eB 6yBn\dN_8İ R1e> /+oվzU;Y gJKv};j+hΓ%# fv$B1VFh8)joux_y%lT[)632=SDYFJ.)WVD"G.}r+5EԞ HM% %)"쪁 S\XѾ/=.نݕ]pF>z˘j/ih7>{qzw)Yflod|!c xVYmXϢ_(g:k7> Cp% 3q:KDV'9Um+]+faȴ)E3Ex'3n*GhgusU:ughsQ4D OyN=0YF Bz{O3&HHr/j25M.d,m$oS+={3m#RS8.='=aCن#b8TF[r ``/GG_jċ Ջ~ADH$miM,瑇X'Թ9✝U(AYz&F쿄 ^aR{W/jEn?W?0[UN"|J^r9ABiEGGB5as YOɂe|~doST,(˖<[7:xr<ª-zw95=ޮ\a׫:8:;Z<`8 %gY?〡,1OҴ YSԍ \cBcPU h9=S(j#U8 rVڽI~}onFf,QDM@N4{g+)wJtl]@E#,ǽ1S0+ߡJ:cfIJsmz r̮ZgazbӁ;N=?=)+g6]]N9AI,Z75mj^m? (spR6:w>O(g9׋"+l%3 Bz3oDy&A<\c0|tAuH6E\Fаnj/9Fse#~\_q7+ oerϻBDa zv瓉m]rCO\i๯sc@.T#fє 88Nw7 Y\)9Gd X\ʡG5Fpu/JOCqw$9/jӜA;(u4 WM#j.qQAEXh` =O0bK2^=1tVyi #EPUF̡.LJ@Yd0+:L.b=O#bZ,>̀vk(^4P$] Qv6}PcdS+wƔz"xݶ#]Sfl;_ =W'o1@VʿJd)8ݰξxR><델a7`r!׮@Q~LK@*5zߊL;|n;ZT^Nl)ЦD,ž=3t-%9Q{ xU L iװhο556yż,E&aA .N 8.;X0/;[9L>u񚓉&~8v7TH4EJe MxQp,O'l>N݁!j»| 숰n|m.xvo۷UCiuq2-a#д@-Nj@v6IC dqBѦ3vnn.tF# G:\. ʍx/-yY4vMA;Sјo'!}ԸBzqis(-aZܙ`Vl_SŒD?3ojR