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 {+ \| w Euler_MacLaurin:threads=2elapsed=20.607cpu=31.584gc=0.784factor=1.537zXZִF! A]ŗXf1-/6vRZkBO&+p_% #Bѡ+C1/0bցjW鰛s7s3~uBV)-X=^4\#"?Zm'MAt`G s|DI%tƥe)DxNIK܅6KI+j}#v JTxtX-?kiڷtV"d,^= yFՕWޜ6šo`MM/t{G)=rݥ.)E9->B])I`!.29OpJZIx|P瞂yE!A{y)"2yF y~LKkfN_PO$Rr8;~i.VȪad܁>C,q9ũ*4b Rzoo NH' m^ֻSJ:Ԁ..(2d>ʟ@cbqs۞ gYZ7zXZִF! iw]ŗXi%6xoPt?րd8T!ld6M!TR1Zw  ˮhH C-mvOʦ&%jS<&([; }2ʣB"Y0%T_䂒0kt\t80v6YXx۪TK-To J]yay|WjQGiwznYQ PpBѐ~xK p&OSU4"Kre ,z9ENWATO.*kkw7[@#城ocjjHKRJXMIcB:6ʣ׺ FN/3i0*-E[O"LAB`,dEkB.}k ok{9yi/hEs{PHRZBa.ևvc<> |A+7uf57PZV抍JchNe&ճs5o[yrc\oy6'6qq,IDqaѿW29Z\̮Ktź9Gt&kHkl>+-FSJmQ\8o7Za6\4ϙXg{j.;JJR\ _B}[O'Zd&J;҆8@p?&MõpӋ\X)ۮ}MTf$ˤ1`pcz@צuW릩G`x y6W7QjTf8})4巔*<!S_#K*DyMh",U XHЉxT:Q%A TyixM:@J[_.;*:#QVLl@oX箵s×`>i^/Qtn¾03?w6# Л8?CPs4PZ7$wtLȞқC'חԴSւ-s[Xգ&d.zTl~Rέ NI$6!8D# 1Di3s&SLY|)2j>Q̢PJpef%ǎߚC4Lćc^s˞9O댡Zn.# V!c趨GxLs丗[wrn38Bǖr*Y'>KB"6 %8+9JP&\k>8ߜmG0S f>jdJݪ+,l)@p m _u]*~8|d|O T?@[Yߵbȡ 5€=d3^MTXs1n JMb[Av:KI1 |cf_ egYZ0c34295975e47365ef213bc29e2140c616ae0bc1 306614ae7e125cd238a3bba7fd3fa5e2d2176f65 53c6fec8bd0ca1122e97880d460225de71ccca78 5a5e1fdaf975d1e550fdbc34edfc57f71789cded 814d1b5c3b9fde517facd0971e3dbe2cf6237736 8fff487090b7d56a5d0ba46c2d70e800f01d9f13 ac0eb512efd2c20f7f17bd891fc66b720378b642 cc22d149a9823f9977d158e4ecbeacc1f512bd63554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 831d14f67c3c3a84a98a77281c0c1e5b593b14fa abeae0cfaca798724f3a1b862a46ef1f7262f8bd cadfd60bbd70ea043ffb5760ff880b18f070e51f d33a150918fac8034a617aef6322e244d7c37bfb + Euler_MacLaurin