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 JJ3+ < w Euler_MacLaurin:threads=2elapsed=20.073cpu=31.808gc=0.676factor=1.587zXZִF! ]ŗXf1-/6vRZkBO&+p_% #*(!1qhV0".aǚ ʾLꉖ1/@\@qKhvD0;X]VkBEF,/iǴf\d\s铨.8nk'Cx!-qNU" qj,#v;D'U^{@:FD>hǍ%Y9 gp#Awl+26qشyQS( X CuX\ SA& iUJ~En*0^!p,hefIѢ jR1+fnG<]Ui0Ny<25r 4Tp\u9:P(HvZ ij0XkNնz/exdJYmG9#ʈ{ۖ\cT!"X%F$,+wiBUN|Pf"|Sd3vQ784n-&jYFcQE >ib6~ DR÷-""rϖ uñFծ*>^,yrms9QH5e ԪWSz02\ǎ;R_As"-bZwځHv07.³ X Z$ 2u4f5ƾȀ| /7rz}.׭MDB BXk\4R{xѱDsgA[~z &(r!1jjzl!T21ikެ%!3Q4WtڠCޘ%v3\K鵁j[jW7ZhT<[XDsi(J) ^/#՞IJ6ߎ? ԗ\g=<0/otTH^@T?DnECpXr&i5C>8KDnSu҇4 m N>^s&p!ǢNjx~*Х|0={ F_btTV".)-B;vDynM3)"ly=^ȘLԩxWư.^3'64oį@ԕd3>IE9n7#bwh0]u(q:rqߒYX vHBQUj"m-8OEV={vyS "dς^KqG̎Bfd/.c=΄d˹27ݺv>gU l4H܍IsOͷg!x} 0i-ff+0} 8 [kDŽvuY(H #RZJqWt=JI%KS"sJ `'ϱgYZ2a520005f639cc84917fef3d76c5280ae597315e 39b239c024c19e0439ecb70a24b1c724d31ae358 41b244e38b9dcf2a2383280100c9bf932c3480ee 7faacea3132e19758d41f036c38f361fca85d9b4 814d1b5c3b9fde517facd0971e3dbe2cf6237736 867cd9cdf2e7d72b617425bbc782b12dd5c05e3c 8fff487090b7d56a5d0ba46c2d70e800f01d9f13 d41e5980709a88f90c6ee6b3765d0cf53450aa57238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef 8604b41f1e451262fcd1286c482b758b73d1c934 2171a9640c882a444ab08dd88e02b67368cfa3d2 5b5224f4e8903705d4b3e890a4b3eb7ea3f1f055 + Euler_MacLaurin