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 B7d\T ] HOL-Datatype_Examples:threads=6elapsed=83.793cpu=301.272gc=28.192factor=3.607zXZִF! P)]ŗXf1-q恈&!&ʁG_f @lEZGwa krju\ KQwB=rw^wO_J+8UN=O8sqH^e."15ߓw8͝ `BwAʼnԞ5y!vL@s#dV:%3OY_1}BOQ+Na濜c QI{cOӇyb PiTg7JrƝ8~}!ƌ VSRfZca ƍHK32KM`Ui$%a㣜!yp-7.6_߽%J]q(Z]o}nidjeG+}< %+quOQOWw'y7m*\Ls?ģN9|]'F?M⧐+Dw*b-x5ecP@MI~3ˉ #>8 ZZ_u62'W~%Z^jm'^\ hIi l /i;8;_JӲ&kєO?[avyQ>hQS՗X-!ͨW'0=Ho+HqEE9|˔d |%b# \L+gҸEy!T%{JC]UmfzeebRZMj >KwF|V=%j'ߌ:} 1|V!$&O hխ$IhRQ>(`aԢ35d%v@h]hlHXzOCli#mM)/<5;"<%tFYpII{Y~@{e3>_SVXwRK79qWJ"t%tB,6-}xnh5nwE!YLLN :GUJϑ1TbOx= !+K;!!ε9 t 7';z0$,Y!| ӑوǎhx>kR]h rfMb11r f#+~SHB7<6hR~4UExةC{{Pzk4:wj2XS4 5۳'Vr\$hQA#G#$JF\&7KZ!Xuh"O3]F rmUšr)aDBc -HFGN˞<9dR(omRxTg/zm<ۄ~ mgYZ7zXZִF! {p]ŗXi%;%Y0Vk-@صJs!~B1Gwɧ2ƚ'i|OQPDWXbt A"K,`y?8hWQĤw6t30 1~&_7 Ww OJY7݅F"kݙA}әٵϰ{6!9Ƴ>(|/˶Pkyޘ)ڜJ|\ c_CYFV)7иR9+cS`nR5 Tb  ri 2wZɸFvlWڙGiMp->t7{At))P Tq#Y@ ubOVe|S;vŭ50mZWȓ!B+]1vյ0 XeN`|U^:2c(#YLS? ;&M0"Ҡɠ*chiD9}Ӄ¶ips$%UV^LBʳdOpo[gd 66m+Nf%ÝN -C~Lx1){\6%KKNDyw'CoeiO 7 HOL-Datatype_Examples4"ϑ.AfsK:&1 ;аM4}zl/I9X+PyV`>t/~-c\lKT5UHhrz79~ #NEu<=o_(_J )702Iwy5yri݇~ [c+UCzG1o<ņv=X3>?㭸0`s }th)))WxlqSY]c7[A$nsBx AJF(ޮM>XN8sYtԣRG޿!i("ޣ}ꈯ_yo)1/gC"heVoOɩ_#a*+x;'9b3MJ+ jfԪF+J绐O u[lәƞphk^  'nNRd]GZCdìP11{8YHXy#CDC/\ }S!Y%"iϯjfVYbȡ8jfnkHЧs n$mє?v+?A :cNw:@20*x]|%f.лV^l/beر6LzF k#qⅭϤ|mfOi@8S;zDw8= ZOu_]E_u~N.mlWf>0Dԍ$d|By&E(~!٢U26"1NhyF!\ʡy{ZYIZweb(G"v= kS6iԲonts $ UkIQoXUy}ijkr4X|lZ;1,?|͒r6og>Gv,bݩ'3ҖV$ZJZ|dbb7q$xxT [ȴ@8}~SGӒO7i\;i t9d^I !$Y {^/ ϸJ<12{# 9J2!ZɊH^j _l\SV`'{?N2C0:41$6Aw(mΤ Ӹ&`D'A:%^pHߊT uFG-{G-K-Tcn|2E:]q{ e b*b:Ta.ݳ)Ž2+&-_, E#-t{>fSd'7elXh?bJIWFYKBUN>GV<.I@:mGqkYs`ptch*1~M>ūS׿op[,k+$z4O&s*6q aڠy|pjp=~M5ߗfi4MrJ/T!Gg3T.{w$<*DrtN6rOӁ/qG~)@}j "9+9_\~NsXۍPλj]Hr-z 6f2*DWJD(= orO~@=.F w(v>Cѹ cUhLZ5F@G Z@*چ{ %;gܤG£&`m͉/&7=2XxGA]4MTl$h*_\EII?%ܔ@duVAJ玝Yy P ٵBM Bamdhks9W1g-CM.ͥ9imt@u0`V,pA!>xj򘠦wHz awB3_-Gڎnlv>ͪ0 ;(:r +ZyL@)aORk_1\.Z5, $_wQBBk2^kA| ۾4$ yDVx E]FW<6H渆aFsxM,㏥ɖԛBhU%6hs˱'eeXA=tKLO3 Vu6ޭu/Ѡ1(+<ۺB"R,{ ̕Fź_D 8C>#zd ftEo)e&R↓"8POpU=j~MC caAn閱W{nlnA/