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 U; m HOL-Quickcheck_Examples:threads=6elapsed=66.023cpu=150.996gc=5.316factor=2.297zXZ ; HOL-Quickcheck_ExamplesִF! w]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*iڲ5%lO5]BmafmC] !LERP,Lݩ#Gd9*d\}Iu^N„8ui3!Bŋ/99.8 ;Ҷk*ojpk)D;SgEr*'7W@{'-9^;ierJȳwN_RʳXi^RDf#Ie!&SQ MU0&@, +%x-=3]%Ꮁz;mW„ËKM^Qz9sܣ |hs #1` )#%I(pS<ʾ,@RF=Wjh@~2}&_g-4]A8eɦ$5'ƕ2F0}mQΔ0a3[Cy.ȒzgِGz]P[u'[XS='OH4D2ByDYG[ˆU2zR%O\ ' )ظA.v:>w'gPDz+ 8Y1JʱG;@ o^>f8j*FHdZ?YRcTM}LwZ5{j6? z~%AJq> )i 4b:)6%l1+CO\e~-. 9ʇ Lf bJ~$5M3Ƚ];÷L&ĂMwJ:p Z$@~Wk+y]^QfƲmq˴gNt'IM|aOWa'uU\4QKh(9Q D-LB4oχT`~wMZ.S^N l)B2Q#rݨ5\r!FgCV0Kg rRtUu^sSB`I~ tg+~hyhx4xѴ]'4sڲ =^#&Zr*hRZ\i$mة5 =$ql(3Љwe!zeۅND9ҷH?Eѻ <}ԿAS;.B= Q02.'O[081d(1v/==؅#><FѩOƥ\IQ^3:X,Ulh wl2Dg|2F&xB4_{HCpġJ~j=f bqՆy13*]`Rw#B) 4aТ(aYbzb2)HD(m5|\Z2xwd"#: cW$]I+OV>DĐ=uD}vMo?.&(-  #ݲ lmf 1ҽ@!ӝ?pMzFST¬+hG2,<RʆΖ0'%mS4% tl[+D= 6趉ӽz;߾O?c4ũoGأQgYZ7zXZִF! 9V z]ŗXi%Mk_~}Q4 RGF2YF= ǮW+)ٯB_⭛6h`\a_^A@WHXSW}LZ(r_(~'i mTz(] 8q\~=Q[Ud ԗ9)!S$ΡkՓﱖ9>xo7 *FY6.CYƸm_"v2TKgnM~o$ofyt¯|Pjfu ǖ$SBE=ڻkvXy;g]N;h ?@a% ̿+-ˈ3xm#DzC-Q}ekj(ݜ\) jWF:4 _: @e8M:`*`d!&'.'SG4j0gÅkToPFtc )NjNW<ۊkO_Gל/N3r@.vHKmwa\u~9v$VЀ|\#:FCahUBc VQnl>x=̗;RGBBj *d-IۜO @|Dq/榡:1_LQod$ ΁ږ 1*dVH,YT0Sn?b_)gy3>T۽Ypz<őnAu"m`OtO|b@ݨHٰ3N5|$|K`qeu#mM2ޮ IOrDaJXGs2MӃ6@Pcx CZvr8],؆frp%䦜qHƗv~:8õ]-LLQRW7Cš;&l/׌y0(rկ [b5 &5`|KROu, tu$Gï_tIf˓Sgsul{"]WT'l(W€TUia^N7\Xzj+O-d  ) \><0)1̧eEA)|)zqᮓOn;nvs44V [qTŶP.F{SA#"~p>N2I0×?di1 ?edSi/I,irߣv@QfJ$8K`?s`W$.'MB-=6߲eEx9#m]_sJG5^`_wxWW;P>#Fc^Q> gN#~ma?ې~HgN$b_ &JM^vȷx &gTp0Ui;8ebTؖNpP@!%v :3O{G EU S @t3l^>&sͭW 2$[l>JpbL^` Ao !.l&ʲ1:$p{w>k^ ⅶp18EyOiuoZx)#=)n~[oEۺUH3 (͎Չ] Zx[QBi}m 6NHDӤd?^K2c- Bh}9i=EJ8@ oFG<i-h؍)`¥B%cQųaIDQQ܌i?a'-r׈$*. ¯s["u]ͣ35vߍZZo#@zv f+/U[op:v®̀ fW1*vwKA?Rz͸*672|!vgRΓ=7jC Wb΀+ =Iia=u@VZI0{9!B1I ZPÆ 5]m}ms]多Q?$akDf )^(K`?oXzRO=Zv$~K,gDzWL*Tְ`D(X^/U2L6PcRy;=y:E9*`x\Q:?'D(Yj?67^׬ysDE ddmdo?d=Tubm5}@_™?gَXϊ]هJ6AT%':cEr iYdvgYZ1a10ccf87a1631fb70aee9714bcb344bf4ba099c 41c993cae6d4f9d642b2fe7a1e3966262a34e974 54b50b16c1c7b2b4eff9550912b3e479a4426bd7 6fd9df3dfedd4d886d1333614a66c3285a8ed17c 794cef3afabb1c309864dab5c04c6c6946381a35 7d4e32e4caa4a33c17dbf2b244497ef95096effd 845b2fb60fcd08e3cf3a9df9040b8b1ab70c778e 95598344681cfaae07d77ed25c816a7171c1b942 df2546ea5dc8c96cdec67946389485bd548a4960a1928f7c989af1417cf803dff1d0e4d37d201bdd 4cac7c9872c9950110e20ff72a2a8049c87d07ed ef31981958657e2fc51f4a91cd689159b9b9d924