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 l7L ] HOL-Datatype_Examples:threads=6elapsed=85.340cpu=306.720gc=27.728factor=3.597zXZִF! S ]]ŗXf1-q恈&!&ʁG_f @lEZGwa krju\ KQwB=rwPik<0agU#(=HhLX# bNCa TRPi-@}G]|Nla9k~yteR5:䑀ŜpIȌ@l*7u!*5pyGSL V ^%95,r1eD 3L6b|(#3;ic m^OD$)ur`\ɼS̱a;J fgB,%Ξf< Gkr8@6wuBx5tqMz gFyү'jJDyɐѨ<1\wOt750yG$6jwĺpjx=kDҮ%g@ye(1~^]L_#ZMvtRGu-;tuVv"R'Z?5 $&#հ1 $G(G\ٮ o}=B׃!u*dA1J[X:ދP!s+VtdiN*mFYxǟRm /36Qu֭Dp Zޡn?C[t._\G`A7M pa>Kp8oO +  %DF|]џ'(l~ \z c8W x:~VAvѥٕ?o#Q>ʚL-D,Q#ITXc;+-|uF4qQɒw+V2L*N|d\9{F?6ؼQEItpl|V(}?J &y:ȒqFm0k K/c&_jv GR\і0;Ǣ7q_Ҭ4x%n ib4zSu+c(p{ 5a|XORgGK'M7k4 Q});P}Vh /5Qʌ ȑZVJQ02|zi]و܀~%J;.IuP_*Xq}i;8c fM%U işw} &dBNG-Bu+ 7 HOL-Datatype_ExamplesuZ3KChSwӜJdE#ViME , &$?ji :zgb˛;LMaUurYvy  䱙~h^W^^6c#Ll!8gxs&;]5}s"f`d'k|%W\ ^o_גίOcC󜇘%:> ֬JWx܂T(tJ> = УP=K|isi7zwK,gn IW|[:B%x[u'JsW'rѣRh!HWz?}M_İDBRF 00!;OUF8_)VԁVI9Zuo NAE\!DKݖ/xl qW_eTW{-@ɨ} J =C6!oN@q uI {~:0=n^DM,N,sjOb^re Z=f3A?8r"Q'TաE,Ce5>Fd٭uˁڕϘŞ R(n@˂g3PiRR̫#9!K}ȶ$[:ۉcש܌ 8T2 I޶ciR;C-@,m?9WŝYFT[4(T@ S d&Nix ={H?-XW9rmKs8յ=9݀;{I CT}5 Q-[C/ՑUQETWP#j0i<gt4%h7"Mq=FH51qο7:^^fP)%dT|mĝY2R­O"ut]bF.rxGs#vm3I:g^n2sB ؒ9>x~H,v?^Cj/0$fEDF MĮ^o ӥd1gVל-TH;6H'37d!E_ %~};@*P^A7 V~$py+W ߒf^c~Y)jݚ_moU'4dI*[Ϡ6N~kU4'\<-eq ) pJ<^,4C%Ÿii"; edj>^,Fnc>TOE gEG,2G  6 lB-_KXQX0:f?uS?>M΃VYއSviOR h 5]^W޳wяQM^F" 즅(T7uP{.bjs8:1/錉? &slC^k\Orm߀SܐH-#>ؾu[H$%ܙV.䊺bwnK;k1,GGG,9Fn_Ugs0J|6 |+lrViZDy}m j4sEl n1?0ozd OVGQz3մ6 C[E=C]qA"Bp{LjHUFC_J%%xHA9#3{&p`A8rF; EiʪeEUd.‚6w>lar&I"["'gG Ʌ>սa%lSѰݯoS |" a! ~Hæe376˓ev+V-8瓽P ? ΔJ] PT2xRޯGͺDcsA}|y!`p$/>'g}cwl$jv\4LEo% siUGĉ*̸LrRU-',0I* 3( s,onYJ$4*֊lq &MjѺ׿w}!`wR#Ǥ3.? ro:̗If~ޘ /%43&`#0f/HAd<'Y22)w_یdҬ,)%r#B|uVz"a׊^QPE XT ݄}VtXaѡ(; ppIj<0?JRay"y`V94)yp\ʉ%\+Sc:iۖyigIGa>],M!)u=^S9j`d#BpL[Ы}Q ZܓMFP FG}ͥxh9r!u©}a»2%9VEwl)}aw~jqm<]ء/K%RCd {7ck#~iKrX;]2`ߞHG ~sbeQ/Ե->vk y/Fe%ۚGߥWvM_AP0UkC$ḗξ_Hܒ^U}+1磚gYZf0954d1d349f76afa07005971310ee694354c0a6b32ac976cdb9d7611cecd21164b5d37d166a70f2 7833fe06054d8c848d36bd9abf4e4e615831aef4 2028385119fafb7bac5001679cf939790c300aad