SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 vv+ tT ]S Euler_MacLaurin:threads=2elapsed=14.409cpu=27.420gc=0.756factor=1.907zXZִF! ]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& ZBî%u[1yْ(r+ݳzѵq: z܊~_?"uhld<3[䵎q_b:?m&pL }k@^>LqU CVԛϮ\zhh\46_l_h!GxɀB9SsS7e[mQUێ p룝RIz1&eW$9R5!)3NlF%yOZ$EuMVHk#= xR,N W[Pk~A{g0,R$AJͷ4:5J^&~0q;OWCFnu˞L|DvƯ\A0pPw9Q (L+ ^:?=ŘK5}c'*7 d *aTiAȂESeDi*m>FqwZ 4~͖8p' XZ^nJp' .SR<90?w6%S*GPK@dPw&C}?;lh$vN憏](C<$] QL|{3ҍe;`&~K/ug"#kgz0QnX;3^Mv #^H.T4֞= &\8HgXgi &Կ߹`tLiC ?5eAK[K+?C~#mgOJkF֬.`Sz*"|i$'u2;Jʎ)nTIGStFzP)+V-, T FnKv;57-w_ 4V .Q(|z'0\J" v}Ec|hn|!ʝTrI(ޛ?ٓre^c)+#Lo\ю#SGj Ҷsu";˭Ok8bY#^ APձgYZ00b474c40c187309a77805afde0625cd96ebded979d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 197ef942efe1b520e57810c9e607ada8b7573cc3 0d9cd6e72a2d713e7f970ecd8db43a8cb97e1282 + Euler_MacLaurin