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 a1 \t ] HOL-Metis_Examples:threads=6elapsed=11.807cpu=51.380gc=3.812factor=4.357zXZִF! Yg?]ŗXf1-q恈(K&Կ6l#8 j`;"<2NSVV&7a`@5ZGkD?inLIק܃}`O!$%k[5` ^{ x;^K3{%Jqsѥ VY;1y@T)|`ІUtzXBһ\7i^;x8`l_bH^$2]PVL:쵘NSXš&(FB5<,^o2.o#3Nx,/,Zs@`^KBN6yFBc[O!7p6$.EV!f8Ќ7%RM{(0*jm7w̔R;GҗUՖ9XSϜ̽P `h]\ӌ٘|</{׍{.' L7=o|X7 a`yê!$!Az8>FZD?k 9◎;0@kI| zp4UX ;=pg8Nu{_%yk$xBbҴuUM:ʴϯ"r]䞶X2^ !4dkLb.gx'!d_~^\ ~i&\ƙ c cd^簺ޭNP+832ޮ2U+3Yԯi4(Yq$ZTg՞Y#8 n{eV,BzO4K߹XP}~sB &_ 3Zy' = u83>b'"NSNgYZ7zXZִF! 62]ŗXi%;Y:E"Wn:|F(o=&~ݗny`q&|c8(Vz^`3b罆M wOes0ʗ#;4_5H[N0?JuG̼|_Z͆)N-r!OD6Հ8"s.?kZDWru[FЇi EǦ?fե~E+q[E=-w 3/Wz~q}o}:i0;XegghU^è6Z@]Aq)3]R 7 p7& DVME}v<{eළw 55]? S$)34yY%G|Bv1 Mk%h$n(!2+wEI+omK4O\~9܌imfZXNL6I7N,䇰H&ODfAbvN⡞huJSf ̚~UZ1ecO ϋX*ZDCu ~Xޙ AS<S#8 HmZv?eZLa 7h|IK,}0?@Y}롚p7B\ɢ:bsiOַ28 (L'=E7L#l/ܨm. tB#fW Ma7? Æ߇Fsҿ8qb f@nFdn_f