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 D' T Y]List-Infinite:threads=2elapsed=26.089cpu=49.032gc=2.368factor=1.887zXZִF! 6]ŗXf1-/6vRZڕ`0 lO"Eu~Bp.Eypag}y1ɧg6w!5/AwtLrڲi^䉛c -,Ղ߼yH T.F1 H5qcT٩iAe…pr#<"? %qd(cl0"H:aZ8q( W&һkx{<5ȇyqG 7SF5f—X7x6vL~AO7%.|{E=u`ESj;It=Ե;Ue35fǹ½e7 ѩf7B/mv󹨾c,u|t#_r؇yr܁)av>_jwۈ͕QQ[,%{Ἡ2QGߢ? u⛝mJ I,֧u%Xŏ( Fm[oHZCIN4&o CV־dߪ CQ=mY+41¾ŹEmm$$@ރacǻ83X]u`Db^Nai~]|]JNzeDBFN``M̸Ȑn5pe$ο8F'4ah':PlaR!˙cӵ6cʎqSEm;1ýI7}Ӓj.[蚤iX,QMG "(Z *5d%TJ*|K+gvab)k(k"6\rMB^HE`Ekʐ afbs?;\ѢAor9(B--!Ug!igyf- |}ܺrZ/8~p^`ʷj) ІaK @q`WVp,^"|!3QM&Lt>Whwr껉cX)"@Xˣ VK(!rp&ae{*Oks] fuڹdYx9iTۛ!>341ᬄH}TPnRb'=g􈘤$g"yK7RMpJ[RK=x;|&ΜW" j<{᧠ΕMR%}r^7=8)PCjbj ?>8] 50Z>tOL9&[˟~[މs 3g랮=`^Z™sMc"WkT i8&wDOv~i"ZY-B ОSw7Tk (9s5K8O2q~g)sJG XlugG,Qچ^Bз|qKUj P S"8Õ4Y`NBx7%ْ VK>n XkFӾ--7sFnk oȝmk&AMmô=T] w(4L*M6zx\b!60phRfc&7P"JR܄f ( cԄ;rVqcN4C$Ѷ)Y?bk8VlzSxWDq{~$:>z뗟?ZJ*Q q犋P<1zuN~k( [vzB! |3 ]T:_"@LtC ]PJ d[b\[A%*,!km tV*Q$ M˝gͬctr~? 3#gr`}Ex{A1o}DG8)i4Rs[O! kKi6!XO=ay`%8c -]VbLXK_w:eb#Az4]^2) ;]dxZiWtӮY |r3zoq@|Ud c'hs 4̚Nd>7&bO ޡE3XY 玅b&̣Zl[ X^Φ=m]jSYrVlgle~v}ZHbM-Ycړ̀R6@ mΪ+[܆wsƀ:m\ !}f*0Ӆ{521GؾC3&X&&HBKvuHv^3 2[mqVJ 3w?cmƀI ^V@kHɊ; Ff&+MIٝy`i6z=?o,&06e*ktr 0B/ufv[cGH#n]eJԉ\m#,dP&Z.2?;(҂F{\ Z BK"DKW

La2٧t )T__Qi/X=XLĭ: ⧆`"I:W`ߤzv"3\:?˞Fm?˵VDWjyf2ѯf :ӉQ'cYױgYZ7zXZִF! c:]ŗXi%fQT:jo8G:/Ɓ W)ѫj(΃DC<)qU2$ H)! -i޸ t`I,xWf:cs#09Jo-yMhn<wR9 rmpOY7_EawjKbҵ obPFmd#cKV;vjw (źOo On2# M5њz[XWRWzJ;xXw"gKU9kӄ}>Z(>Nk~4hߤZ>%.Lgf *_\n8 Lc`r@zr i`9bqreqr;SWr <9!XՒ&,~k |5ν*Űèz5~[-R;pdn -L~g #sP~\Z!74 0"W<ߏSukC}]Y!t3]Y :+%%#@YCf D\ֲ[QQ8cg!م++D+% z.J~m*c) \$ L 4 +x l@VL4k'MZL7 s@zGv,McD UЋoExz+:mqڲ䤐fqY5̄+&QIFav*Oܸ 3 y|#Lj]fq|Aѣ-ͅ*h@P%f>nƋSx5")#EDA1ީ}C*&v[QA/d!ia:!ʐ5*(` m*L_qLxĆ?@w$H>ZM)D_HsyS}犳̥XtAqwǖq"7tߴLi_w#p8}?W+S2czQa~O.[N*HE@;yFx <#0DXH`ӸUk4RjTj_E4O%+BYb %_Z2R5*߽m>J&xgF}fV kL(mQPE/\}C,`ɓ*ؙp'kz LR5$G{*;}b<  p3pk>>!=U.̊\V6\2I̺K<-˛إNP F2n%͂'Dt7IA9L]o@{F%8:a]j52ܽdNN ".t#MpZawC.FO+wAL|W o8hp3ĩrڽV|aez/]O-3lE,!E#gYZ055d4402eb355d20a482ef9514b70e9b35944132 091ef4d89f651303961b69de7d79c1d5e3449215 0e8f185d5c5a37638c3fed8946398a875d552ffc 1403df84282ee21302f7b44d0144e2fb35574d5d 2b8d9192e3645c3f213818f3c18ce41996a62c5d 3f876518738d879265f412bcc571be8ff627facf 449bd0ba17a21fb1b949a92e70477e4053f0cce4 4befa36c0da22d93675a607c9e0943c65fd95aa8 611c389d01e422e74e0bef7f2f2f9851d098aeae 95f81c1b0d94f9bd16cbd21ab514c2d892415ea0 a566efe065e2f6a873df2dcd5781131b6854d35d c82ea78e6d5bed217a395c17afdeeefdd2387717 e17027b69b3855b2e1c5d8f085ea61fedccb40db e6ce948223bb1e19d608415df1d61947751ae584 f3f55c3ee1b3e884c71d5b59127924c7bbbeaa80878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 61801de5e43545180136440fc3774bb7d9933b2917f6fb3540f5b18a1ce2c6189b15e9a226971f00