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+ l ]w Euler_MacLaurin:threads=2elapsed=19.646cpu=31.204gc=0.768factor=1.597zXZִF! x]ŗXf1-/6vRZkBO&+p_% #Bѡ+C1/0bցjW鰛sCm~Eu߈R#hC|++)iDfKim00!,zIkpc氨-*^ F/lHA05 X2JV7xpũ\(f38X]6y RƩ}q9r>N6MaLճ;+S8^:vTyzq9t>y8[ޢe2*)Crc[716S{W%'w n}} fK)2wID.?m/'hkfYL/iSiY(l*36t)sXn6cF#t# A2p&`ȹ7ԶYAkλV4n<ݞNG2x\Lp2"YIgYZ7zXZִF! g]]ŗXi%6xq^L Z0d\l\6,p"@ üy Ui>4Ԡ%!g WY- (Q[<%ZƇpdۄ`X64zVehq.~' 4eai健k?ߏ{Ӯ\-SrJ4}>X ]i`gWW hc9(G:lx*.p(׻O'Z>~f Zo-lj@;²cK+}ͲGz?? T9ϬB\sϔP6}W?\38pN1$=ܲYo<jeDS?-"TGIQ NMFB';;lGo0Ę9s:;:EmYHP1!ɦ:俹{W&2'xBwc3˥\R-TۯwF tUZ`,m/):hD S;^eLW(ad?${,i e8n;[7gx=BcjG|dDIƸ c[E?v>:|ozyZ3