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 zz+ |l w Euler_MacLaurin:threads=2elapsed=19.482cpu=30.840gc=0.696factor=1.587zXZִF! ]ŗXf1-/6vRZkBO&+p_% #Bѡ+C1/0bցjW鰛sh}/&tgZ3(L%$(\ tn3hd\:O_  +у z㒶¥t~z1+pGx$aɾ\t.@mS䚊8g=drW(rByJ/̠ ,U3J\\v]e*32̚>~|fY,k0q-ҌW4O;M :%㲷D ìW*hn>:Ъ[+L?۶p؅Y=f%;@nr:)ۖ_K^0 1܋u [P7 Yko<9ؔlJj.!$$@3w Xr5w|:"1 ![dn^L1v Db-oT)"(!ogYZ7zXZִF! e n]ŗXi%6{B{ _=+-!'`ayCvg̃<[Qb7R|RX TR#x\>oӎ#$Vi$[[{+80AdeNqH*mI.bthB)M܁7={@I 넲;|Ft(Oz0FaUJfFn `u/=ngF w[݂1BDZ!duk1$Y vn`fuys7%ć5m;uXH7gN+Bܧ.A.j0/O/Bp`a,h.>eڀNOr5D(2+?i(`} [^c-3o $VA*r8mAZͅ-~w@Wh xR tthRSC ._(D{yFN?H)V'grm 6ߙ9>͒}m!J{Nٶe+|z~í^Ԑ(7!LP+tNe2ɺ]i'2ʱ\Wxc,E١N5 $*ٛUf⪔@M`)S >I#,`۞R3'1J0w&믖*8e 0}hvEXdk[1jUkY`)Y6+M7bvl6wŴY}+ ے;k zu&DރM=)x"r.xZ+Pu+*i웪t_߹Q՚Uädv[|kd3!뒚XAgeQ#02cbcs riC٭k*/6uuD&*4b+ TY`°ν8㽊a2ԱQ2x/o}QhW1۵dPV6F[I[7!и`UqcS ު1ԟӢ`7Y9*wQo'5kdLD;' UR OҐT_hɝ0|6vP~Wb_ڞfltHLW-뮼yV$5]*ȰKؒX(ݺ"z!ehG@sF0InĚF}hy`GbJ?з\:zkῴ&49%"NrocPkO\ p؅ EXQ^Y177clMfM'}XƋzAWH@_.Rk"mEAaµ0rQj?*w}hpIKY6QYG ATo0ϋ=6| i gYZ2a520005f639cc84917fef3d76c5280ae597315e 41b244e38b9dcf2a2383280100c9bf932c3480ee 7faacea3132e19758d41f036c38f361fca85d9b4 814d1b5c3b9fde517facd0971e3dbe2cf6237736 867cd9cdf2e7d72b617425bbc782b12dd5c05e3c 8fff487090b7d56a5d0ba46c2d70e800f01d9f13 b850076c940b0c29f07da84af6e2a34856502637 d41e5980709a88f90c6ee6b3765d0cf53450aa57f0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98 5e2d9fe647698eb3de122778d18dacd4a9a66146 05218989694d9035f45149cfa16d3e890ccdfc57 c96aff0ceca4570322c0f2c566f8f9648c4f1a7f d0d23e3902a84e31b52aa3133c2931ff61b69292 + Euler_MacLaurin