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  3 3B;L, m HOL-Quickcheck_Examples:threads=6elapsed=64.437cpu=139.064gc=5.348factor=2.167zXZִF! _F ]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋla0zX~:&$LU|)Q~)6bSX'8ԣ۞2fm8~UQ-P.T <3O~0i]I/l UGŘe~,;ocG9efGfԴTNMc{"5Q[B ;klm:[|@Ъ/b,ɥSB,p98p12Y_<zJHewU+ r3^zaQ1h<Ŀ9' m[ݰ Ly,ތtL"PjU?&F.9H'I6"Mkۦ -3##Ƥ!op 8ыm_͆CI4x2# ,CTֳŊS/"UҲNjRC=7>GqI^G?^lBTLMa;ի:8*ЏLaj*bimp-Kխ.*Fw'ĚڿOwq.zS=JnuW*KhFdیD`7~a3wf],3>k @^s[č!2."ιf\{z1T:/:5iD߁f2oxXLeUYiJ_mZ' !-Ir" [|cOˑWn^ *.Wv#ftJ/V}O+bhZ #vpֲ#4JZ/Ph-ӃW~![yV Ǿ6VgYZ7zXZִF! / ]ŗXi%6Չnڡ¿tnd_i$aQy*꼤yw6V9W^6{ IbOjt|*BbBuUI'<srTQWZmKtoE!nʊV)] R]F4 P0 q"wgS[M`iB_䛿D befGKg)+;)Al!P#ˠR=]Qn?uyY!AoYS1ØIRnaTa01<" qg8PW3wY׏0: 9)NZ3=iFCWpYhVbiFK?:t}Q+GJ _Hh;? U4RmZϖeܸ-TlratQד=VATPqm'DvQwJ+cqˆv}v$,*JyfNѹ#BBQČjlVf4YAd,B}`WM>4K؅PxF?t@sa&^HzJð9Ek"g}ɤ2j)5D-T]ޒb)2{*+Lb/]'Lε_mG<4lHz&:qaWd-X}[Oؐ2 |)Y'I*Uuܶp#ͤXE5UKt-B!$`rsT+)kOX0/W[dݹ%(-iIBG%-<*55DZY@ 'p"Ns̊t e0E6fP/: %8d.8PS qK& OnM[ Gb#V̽|j~܄Z$Y *=5T|GYˡ6!ԂߘNXL_AEiq1Pe::i?i/ax+G-)PNM01ww )^J"?exR_A!J rOqYcgQ(&°4,]bOR2'Ӳ" 푮Ni"SG뷐?)SQ~Q6)` qk <+)5`(F~=FQ4p lLr:-cX!r0Y1bQUX>R(^F5cm@hJr&,PP2uzH^F1 *Bc!t*B"/ a_ C^- *s~# v-/L`^yL~zHsϻe̔q<~mCU Gc!: *q}SFDE*w}zUw0fSJiQ( _dGy-繀*e8}I<7mto{k46֢}`c"o?@Ĭ l" T I<.XqM\րȏ_rux5M}R]^GRͻ&ݬs&`"W}Dt|˸f,f ;(& U I/5-5j-xN]-iT2UOPU۬H)Lgc!,Wd{դ|+<W*tBLhyM0ihKKlզG~nMݷ+P h~jdÜK{yXOVRAMdY&n:_WFdw wONXޅri^͐rq3"dѝ+&m 擻-<#8^ϱ*h ¥f6#0c^] G|m t[H0AR"$(ա*d#7eMBx+Ш7Wk;D=.^QEˆiw>pLC%MsIz:]y@`Of_<'Kb?۵|vf΂:cZDuFۅI 9.Lq|zlHB1M]~ǹyGm>z2x?*hgsLW fPϢ!\PJb?(ѱ[.j.YS&8^`Bjq.vp5^ 桒d)vyrg+_M֜Rsݿ4bEWVZ}'q\2ŅdOY%$cxti5Жn7ݼxaYMT% X񸛻zk-L,RZnI*@|k~LqrIx;*#]jXa ;J V3_wiWb/yyeKOYBk'{<.[Ф։&_meմ};? / a䢡9.>F7| n_q[V5RӒ#_4x$X;QG ][N鞾HYFywjk+a] 7avGӡD$&|s V.2`XQ6<ӬAKQZ|m] N!~r Grav/(T7E6uV.{:UCfxU~bt>x ĚASdH\I B @z]҂2 ƅJ?(d?PbX.]|kJ `gYZ01ade8d609655e791b8b418d641e0d6520225e99 1a10ccf87a1631fb70aee9714bcb344bf4ba099c 29a769ffebf1a71c6aabe0057994d89146c5ddd0 41c993cae6d4f9d642b2fe7a1e3966262a34e974 54b50b16c1c7b2b4eff9550912b3e479a4426bd7 794cef3afabb1c309864dab5c04c6c6946381a35 845b2fb60fcd08e3cf3a9df9040b8b1ab70c778e 95598344681cfaae07d77ed25c816a7171c1b942 df2546ea5dc8c96cdec67946389485bd548a4960b7a9b2dfe4980115e308a4222253abf01f3cba22 ac0ee46d42a46b8d0bd5ae0397e22d107e7ad682 026c9caa8befa3a67feabd448ac9fff1276a46a0