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 66G+ T\ ]w Euler_MacLaurin:threads=2elapsed=33.049cpu=56.976gc=2.256factor=1.727zXZִF! !(]ŗXf1-/6vRZkBO&+p_% #Bѡ+C1/0bցjW鰛s϶SUY~T'yj`aA PكbŻ6m.?W\BVF5rT{HT@ |^N]U"YPLIT7t8#=!E,ݼ. ]Ⱦ-T-0*Uܼ(Vk}ÿ0 6]\dNS `ӞzLp6ZZy2`’ǣ½(ޟ8V#n;g?,ZU6VdH(oX>LsVVF Fs/P'KiΡⰵYc0b*GGKBJ )-5IcODV.8i5qT-Peݏ)8xP‰w,N&:'ӖB*^p[IZGVPI"Y(kEDs nGo4g`[ÌdezPA / ZZ0F+mUз>:Hҝ#<*tN%uYawo؞YRs#-T.XFuS8Ern_rBG\gYZ7zXZִF! &]ŗXi%6țbP[hh}EW xʵYY k7;rP@^ Fqu2x \h$ :*HӼ\SOJj6 =/ R2=XTq=`\p_;Iǟ_{׷Zv=&AkDgz'W6 uט$,D*#mnJ!RWZ| y:>D%QlV, ) n /R1сu 2zaIbvZ&b,I@p5z9ƥwHdsi d2eU4v]c4Qa¿h%2X͐VMʏ5r%Z)#Cӻ(%4[qi}u1/C1’zS'RđG)ښrfAMF+*Jcf2fZe_w#IE[ ['P0pKkaN{Ii9R}%GpJVTz~Į]C!`H'cg9WVYy`9k=wXXF>Tscu!+CJb|}2cysA [՞^Ms|d.ħu|ɠI%_>|4~=U,Y?h̆X{'Wxt[` ;,9SEAI˛%ILx]]_IsW˷t$'=1.jg̴|]CFfRP7.Q@|yF*KDЪGڣΐMi ڐr K²+Vÿghotzf@b|@aZiv4Lb.3ܑ C"B 9!ÈS8Bzc Ruda}2%̱VxPpW> U `A{9'hĀ[ Z_uo=ͬeM{?G(3qtҰwАF4#&#:iÝ98B-~.Zp;*( !+\v㙁xfX =WLgɷv#  Pf2u&}7ndC;.10<|]G/bx;RqxZ2](Ѕf O{hծUibi6-doo#C DB-K2뺦-Y,4zC6ߋM4ce9Y8ՋFh}z:#OK qr~#ajօl(bL8R M$(5&yh+͘?ԝpQ+iǬ!xc*1$Y.oR7̹b͗%s\jN6PSNCjMjZI7!U*L| 0*BD\5k8fpX Ah,Y\F2Uz/TBxM [<:cm )l~% V Hii t9VAn4:-+`%C`mkZΦgg_tm7zZ Gg70<$b_D}*}}]17P)]g&‡s%1-PDGmuv.:CpO.2GH;xAvl@"Dkxړ@iƑImY}DD9 ј]GvzK [bbw"M%aD2Ż/<(%JP r' @J/ƒ0c3!1n} X7GD@ܫ^9;Zsw7mQ'5?ÜWT,(R%FP󡼺wCy^Y'ӝY&Q, h,S9 $D? ܵbFogYZc4cc0da0b1cc514e31bb05cb9f867cd54c19c148e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d 76a68048e9407415394a8191e7fd2daca1c1bb2e 5e546206093ae54dc23dc992734f62db1f8934a4 47de50bd20467dff24a6e0b159ee50e0d186f259 + Euler_MacLaurin