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 X!4$ -S]Containers:threads=2elapsed=113.742cpu=202.540gc=10.000factor=1.787zXZִF! _ ]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'#-:DlN:/7J*g50*dnSK,MC ~b aľlz &Ob4>J/0V3V}T(0f`0n)gWn'ק6K/ @93fYDYqii0 ;3JPg %aS@@:q+ik)u=oɯtkǃl>~Uy[뤷 cS!1MF'%1oB\p_f戀!zASkl II6/#Kp@֚?_ Љ=DLHz)4]^b IQvǞ"dF;OEwܞ|$ ›(#5*$V{R\;|E*_z*PVUؗƹ]ո 3~jMޱ#t +)|3 ]V٬@?~iNCzF]vMxɈ-l@ 4`Η>mG 1 %%D}Z4!m=B!;+^$ @S#Y~:5\'g-m+X4`8O Ox4es2ϊξ7wK0o|U<P W\nxkWI3AW"kuyZ0[zL*& uv$Drq 7/`V\%9izSܔjGjڟoC G ׇp^NBniE DG<t} .Ċjဓ;&ܻfL/ N6'+*T%Ւ9:-vQ ɚZt{ n~@" x. O_Ҥys9ǯD} [B).=3.|ca%W٫鬓֩XǨ%9p/::{T(~vWy0I`xirOˮoV C4mnhLMC4dZjא{llXAe ֞PSyZY=PMC4]ol Y0ɮ̬"! ܿl*γ߀!P\Y^ o=В)$UP+.8YC8;f%/tp8-OH@JE&d1<'X\6D#SA֚va<d)wņk-"j8hd]jq1<١b![e-|*J tN/t{~L1-ań*XSrpd /uYh~4ʙW\H,8dqnMDuM@YUd5_=m24ΌEF01&Y@ߝ8ٴԹ_v\5  he_~+Y<;hj. nJaIyњ~d◂14I'mBG^I#aQJ y,둢T+ԱvZKv34UztT52?%dƈq:OMd8vWO>^fKefP+nw';j|$7c+y g.* +|ӿ'gYZ7zXZִF! ]ŗXi%6  ! ContainersבiQ;|x2K]nn29<\t$+J>CpKB%i<--ؽ:$z&8c 4yMi'/ b'j ̛hjS\lpyw6֮``/ V;f>x{V뭿0IT}*0#֛ vȄBx"ބ/϶it|7LCq>)ۛ>N#:v(6`o]؜ 1w=U[Q,њ? ]eQ.ڏ1xbLpQOҢI\ΊץXfda-ĭ+5|# Ԩ,oE.w2QwU U-=F5xBݫ@PꨡgyXFh獷 kXWemV HD|*+{w[y{vWDDxFU d k&`.xh_|Q*9)J휩Pqq#&$gMI*=qDʅ t_<=2s@N:Dګ [ݓ\FkZ[TYSW'ow"ϰ ʦD ם2%XFN){F"4\Eړ?=_E6phz9ouGBsD4%םS3չTs&%);eW\2R׹<#وv%ޤ"8mL\`9*Kξ~iDWy6QhMwlO&bݵy`f4)'7By簡Ԛx:SdvI歒4I+`:W^Apff"DBEA2bF>ҷLe#.lRk+h#eiQȔL7oCCz҈4k 4獑ag?5?1RWO:1P>k9Br\@u&~3ރ<Guh8wX b6Ө'ͥ}*oBhC8?މvxL8f<0o^̻t9ӵ4)(Iň~:y}]7, _2fv7KzmgWRcm?I|=/U$!ʒ?D(xl(0\Ha='dvtW;3GR q"!]kw7 äKʗ^Xz3F6E58trsa',X&MvSd3;^OpHKz*P=[=a+wXj[g4 rub_Dsy4ntg6þ1vv޷duy+>NЃspUF%^ZLaMndľO\ xHy v>qf|ADn54VjңRolLV4 AjYqAG۪e|9}O&} QAlXPwT ms~-?='GփF}xzxл-% K v/ǸQ1킵]5-P/T͌L~RS'i7lN:^_nA^:n $CʥЅZؿi?niK97J>U^q |Iy&?_QrK4|MEe9*,J:{B4]!9Y_C[N 0 'b' *v2;0aALFRb.]`DHO(Ŀ&^i?l lלpZ+'*x -(@eIV.5 IcYCm+:O,ݼ2fJm@~AH&Its2LN(/$@'Bs/':/۲K!6L&\cV=-D uk7Xu{WV &CzLl7 J/zjV5H3Y*`qjY%?۩X>:5S_Y!oiњT9={ypK˵KӏKNyPssI>A2f^^¸cy;xЉћe^xչ,hڷ98\,n\yzIƝxߡ?MRڃ{Z_2]䨄Q?r ₃Gx'8@|)eGi9$=_h!{E )",sms 79ThЍ@ XR͆yA4]OZAK7tFEL؂$dG. 诹gߐZ}\k<&^Oza1ѧ0AƩ»dMhXFu'M.Fz@V|a ʩX֤+1 ڋr [gݘ=6AmζZGEpps^GN* ;]F CaCV1a?ol gyG3:[(`o<řIQ,X#E=s?HBJ y fGz=oFqEO$9X=6.B$C +ҷSnnUt.nÒw@_;4gl3 C?kE7sق AK`q~*zoPB @U';󀣑iMuH]Z\uYk B]9rɵW` )dd*Ms MԺuk.aٕ +A8VT)NGWps\2Yݵ!˿Qp@^rKkAJIpjHYhx1oBD3HʝMf8YbaǙ|3ggOPqP]CWb\)%rBE p_& X~_ӊ[Yf.ߕo(mu@7}G☧*?KrEj+cFˬ.==ݔb:r?O)G4u?|1U5s% qخ32u; QXSUMYlS"]g!]RWhi*s= &ӭBٵoDц;5kR\I+ͼ+G$sϽ\"0֎΀ pbڼ0Aib6J Gf%Opr]ٽ{>bNR 앩,:Wk xٕvZBdQtgf3QZDQRR5B#{R+~fM (m;[s웣4 shMai{ i ʊ}v$_6 QWe41OSfrZvwj7̾D`xiW"^ {VLI E \wZ??56N0}cB?a. CBmZcR S2䥠ae\)S,Q&w|46Hp= u@Xsjw7Ob`xl?7YT&Ks]Pֻ|G/jj-UKy>TѺL8mEfwG-C]B> 0>[*:Ƽ3qUx\:yة*o6hRS0+Ej<܁1{RbbHeM4:ZWp~- bQnvZ@$ S)/t:`_٘gq ,e3q[ ;ʹ>_O3/N3bZ_r[GS]^؅@)n;d?R9 2$n-绮=7O * !2~<`a"3|hKPE3t} iAz[-ZMnos%jr,#'>W۰/zҮZ@oS˴R"eJw hRrrQzPB~6h$#25rs' Ev8GQzߝ8piH>5eDOE4%AiZ8*&=Y1+.En+pƧR7]B$Ԏc抏b sNc}_fgs2o%A[T)]JJ7.Sp6C#-}&xo7x;/Mk qz4`LMXtrZw+}N5QT@E _i6⁗uDCN._56*hZw;6xGl> J};(pl!ގpB.s-!Жۏ:*r.=\%?"58@*溎W2:I:~Yh1'8J 6p"S+v\n۩q—M_uH,( @:tpSygYW"ĊkwCl0U9utj22-|d%=!-(?]+sktΞXb<] l&H3c(yUJl + 7@q",+p=np AXt鍣8 ;_=*,x A^u|ڿ ׶DGji_6߼>#̒s\rp6 Tr.!娴A9+Bj0xX S