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 xx1 4l ] HOL-Metis_Examples:threads=6elapsed=11.855cpu=51.844gc=3.376factor=4.377zXZִF! YT]ŗXf1-q恈(K&Կ6l#8 j`;"<2NSVV$$kVwۓFXeT%Knયa<қ2M!)X!8uiKO@uVj~M"X6NQ#[ kl:`>ʸ0<"ZHXhДأA`<}n>=oXj:vƴpY. fAڇ@'E vӼIPKކ%߼MlT,_$MC{sF LFXĞ\hN媺;#l.d/"f yA~wpy&J{JIԅ =' 5 2DD5^&+M$$,Bo0&zS);Nǽ,g/;#60E|tɰ6#qËU Fk40>7.&NN_&.k蘉ј-?Obs̾9=`)F"v6rЭchHZN?9,n_!BѴQON *| ֢t->ٻ$M2.| CL.2l|L>";k'ɋ7u3o+2Д'w#~{3Y][^e i t =pW s~wsoqlE;3ZM|xU*Wpe鍫_vmی`QI&|?<||FW?)81-`ổz07gfMxDʓ|JˡM*$0Wu꘿;{d_}V1܄g)WmNNKm҉#[ [=>vmk*8;pzs*z!% ,3(^6@3rkl[`v=ʫ惑HN֋2P9%[pu`F~l Ȩv7ATdhA+}Yה[=bye$>;mڑ+ 07 dFbyz@30OӒ7H$zBb~x3{vŸ6UF^Zf _T ~M1]KRp6sbFiovOU2%b"|>,[ _!&,"MS2nA%>-{Cj1AYb''|p<2lbBf>~i߷# Pz6^/[G@8! iN<4S\@0LUX7]!*ܑ¨k'eYh6r.72#)np(rDheYfkӛA Y{@.GJQƇbr u[%bExsIRO#HtaӎrMq[kDʠ9Ӗ\A"RX( j 5vsDWtEüL bMsaͨS%RgF)s3+ҩ16> E#r׋ϸ cZV`U  \&O9KUη~oitc- lJ4-"S4(n n,ۨMδu0K1ґg~y{o5ь"'>b(`]~"[qKTlw:j N%l'!