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 3+  ]S Euler_MacLaurin:threads=2elapsed=18.090cpu=29.088gc=0.744factor=1.617zXZִF! o9]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z3@z/ƦFǕGĥ-m9x ڝ3S '8Hu 7 W'iVBXa>R)c~E.ma]yD 7 j+_Tb| R>:Y[d:٢_<"k˶YE]%yG4E+v) R+qIhaiG&:RBf.Nn Jse4/]hf>|3ϵZq{q6s9~\2n©ZVj L0ůGufF 9PlDuw XLvD+qS "̏e~s! u@uVgjøRu o囌EWwU'\YQfQ</;UDZGv}$6T%Y{ֳ/ wߘW{I" ;+W$ͱgYZ7zXZִF! ]ŗXiɟ ؁#dN9ԝLgs; Wq J=1LmUp rMHa/eqM fKNe,'b,j,x/k2^Jє{ZV྅u4||}N)?HǿGk-_JƬIK1URMuЅGjQZ1%f2MgYZ7zXZִF! e%B]ŗXi%W~Ǚz0>Ǒ߯k,g'k@%Ȍu'xElɺYUr%#l _OOUd) Qq);TPQ:-62AbLK ײ f!pُ!(Ctf.8=vw"9/?ߦlM\ׁ+K"3jk+ AI+$/p[oy'j+NM;n ioC EpbgkV _.`ZZ& |5ɖ[pQfQe@=z eFid-]dlvTH}{p'X݃ rZiUO,?a!w*U5'> . ]"':9!>޽)I&Gi,*0dJh4KjuRGRIy7N1#Î+܀d|mèjГe}&J+O`wu[Qb!l,Sde tl^.=!Pؒesӯ!n51ጩy5ߘc)Ew|4pW+VjxhD;- i&pD;ik8$Bz9QX>\knTV ')_=&ո( wtcmcFDi=J㇋p+PB,v˭j43<ǪOHء/47Ҧ~Db?TڛG9 `*s?4'CVG!L2x$%#T_2,v׭!hVɡ>c/g[w7ҩҧIJl>/ϠKgA3װVb-&mow ra{g=je!7,okuVpSԘ27P-f+cxl YRA,‘6;|[EGFc<ٮTi}kڊ/6~iit"~GzC-$#^W#l+ܣ𗛩 dG z+~*~;E`.3H[ڢeey-&3>u)(uU9 ?#|mqo_~ݞ4^|}I[?2} -LgYZ32fef9516232366aeeb45cb8fd0f52de4aaa574bd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 8cc0070a0161e4d7d5fb0c0f4a0310bd415747f2 a744074b68092333efb92d908d120b47093455bd + Euler_MacLaurin