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+ T$ w Euler_MacLaurin:threads=2elapsed=19.522cpu=30.020gc=0.704factor=1.547zXZִF! <]ŗXf1-/6vRZkBO&+p_% #Bѡ+C1/0bցjW鰛s5SiG^%2qZYƞZ ,BB5: e\\!f(Oة!sMNa&J-/g3u$f8*;L6L?]~E ϗg"#ڙgW ,~\f8_06X~`5`'fe*WSI_MJ2+D= Ķv?pVcMr+kR&!Ȭ7_zL 6J3+VG +E bZ<;b^|oaj陒xx QqKJz.sk4u@ ߆Qc!P)J+ @zېqBZ~˘`dAz U Ɇ2.0Tf;v11)Xݞcͦ⓿C5R`@:_O)j DڧƓ8TE5_\q%Xe#ňQ$)ɺ>FŀYVH>!:8fzF}^MՉr] r/閃\sQ|0gC\/izU})ۚP: Ń[ɑX$1Ƒv\c_$w0msN*R5O&rٸlU ݱgYZ306614ae7e125cd238a3bba7fd3fa5e2d2176f65 53c6fec8bd0ca1122e97880d460225de71ccca78 5a5e1fdaf975d1e550fdbc34edfc57f71789cded 814d1b5c3b9fde517facd0971e3dbe2cf6237736 8fff487090b7d56a5d0ba46c2d70e800f01d9f13 ac0eb512efd2c20f7f17bd891fc66b720378b642 cc22d149a9823f9977d158e4ecbeacc1f512bd63 e0a100557aa6159174ca38591e116e801299c1c3735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 87d272d7a214823a6656954e4786f6c505a2d5a0 f3c7b3a34f2f0d70bd66912d631894e7c954e0ba + Euler_MacLaurin