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 k+ dT w Euler_MacLaurin:threads=2elapsed=19.204cpu=29.844gc=0.728factor=1.557zXZִF! ;]ŗXf1-/6vRZkBO&+p_% #Bѡ+C1/0bցjW鰛sэLU>`a:AJ?deTxk_IK3gFx,2~ΆƟo# H U|mDtlWI=G|Ykx_L&6hsqhS؂K۞ԅ `ƪE{.ݻ u riB Y=3gv+\T6s9s2Dǥ=#=@ jS߫gYZ7zXZִF! db]ŗXi%"Z;i {r'X-"~~+vTufyµqܼM[:anCW52ыCkpNxSwك{BCi<$)]kюB O4E9sFMrh퇑W7u0΂@zP^B^: [SXVbWbX/|^='%UWsjǻe;I}?hT0z.IZJ6mbq`('!l0y,S;d?38rDBe3D@cC#;Qpiy~cPGYq!>t(UN928(Hr+ b"7M;r>R(v|LQq zu*x A{QA9HpՕ߶:&=sRN>6.o ك ݇"3%iHO<+;5ڗo+t^_Rq͒Xk9^s"TC%EuFY'& ?"d !yxoButZȢse`‰T)␪}@=uHu/ 5mLn̹룯96P5=DR}/-]R S,^  LSUc/+ &T)Kf}|"ȩDu1o ,jLOzfEf]P=f߸g 65K{okG1 ܎]pjpل}+ELG_t~#_-\/yULtΘH9&bc=* dl|*Vym4*#$PlxZgX̮T bBB^nX[#9D>gzy5.kɳtipd4 9I.dŒn?cn/& 1v8Ns^/yҵV߾e7%/¾R=~pF#|-w /*RC!H#¯ TQo=F0J\8 j.tLb   αgYZ0c34295975e47365ef213bc29e2140c616ae0bc1 306614ae7e125cd238a3bba7fd3fa5e2d2176f65 53c6fec8bd0ca1122e97880d460225de71ccca78 5a5e1fdaf975d1e550fdbc34edfc57f71789cded 814d1b5c3b9fde517facd0971e3dbe2cf6237736 8fff487090b7d56a5d0ba46c2d70e800f01d9f13 ac0eb512efd2c20f7f17bd891fc66b720378b642 cc22d149a9823f9977d158e4ecbeacc1f512bd630ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de6285748 0beff611cd94b5fa7aa7bfc129b0c2bacd34771d 813a7ba5208d944fd8d3da8c497abc38abc3ab1e + Euler_MacLaurin