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 /+ LL ]S Euler_MacLaurin:threads=2elapsed=17.724cpu=28.128gc=0.804factor=1.597zXZִF! E]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z:"{], ~+L˞9`aMC,[4[F9]&)L!Dv@wW/\E|$x^"ou"mRJcB^f[d;401uKwdǏ@ } FSMV_`+ZvNCO%T](X]?=dߴH/FI\@<]NW#94 _hA ` f-gYZ7zXZִF! ]ŗXiɟ ؁#dN9ԝLټVu: ka#Ly7Q(½O_2îm^C:@0>jPp2w{MRf9 {n;wRu~)ݷȋx8!Ap3RF^ڮd oY@!F`>sgYZ7zXZִF! e^]ŗXi%;)ʏl3~Nc ٟ^Z 4Wfg)fZ ~C%bNwrri9DM)2Vh!i+OE^r±fm;)֖VEGϩmó\΁F]dU@6-?ƫ'՞)颷j&ǜV̊JnNJg%G'i}@3FlCY&+Ӱj!Q]~5 QEAlA @^ g68uU@ 0M[#?'n91Z:}sW/ ,O_X0C,Ak!K~c)u3= avpeJ,F.<lGV@! OGw&"B)zs&w8. |&Mk#>!MjR֮Gݍ$unmՓ$U—^tm#0';G&w sɢ6pxaS*M KAMVs?q*(|sv<ˢ)C~Êe /u XkfH#L⊯OR <4징2|)p5uw^kR|v%ݍ~mO’0]c\Zn?<)pRJCZRO׽!R[?+#^f<T -,]-/,~%㩋6u]]ZE}M-RIz'[.Ս:_Ԯ (u1)J6&>[#NA+NЪm!- wLln3"*4+'nͱ2L%EZ$0YU,;>XVz(?>KkQ\ҿ+AkIVw@BŁC$% JI ?mKӉ6TKc = w!R%+m*`#r<:MO9]td}a 9,uooC>:"& ~'OqC)ʫ&Va;*{++N0:>]L ?0 `Fx5q0z>r*  XgYZ7fc0a12de606c5d09a7d77e8ec41625408c9284e79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 81bf6d9ee28ed1525cff1dc4475a90c408937ec0 e433d0e9337c56b0297473becfd88560a8fe3f55 + Euler_MacLaurin