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  t|\ ]]]ZF:threads=6elapsed=11.920cpu=38.684gc=2.032factor=3.257zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw32i铞>=<"0#nf%^Vf,XEI[?1 3GN"A$K} {tM'p5e~hyd("ۡEMB E!eZMJ@R3Ov ˓L:z3d| 4՗2*= FZ |\oM@ iu}D0oS963 ),b-:8C9KͷuQM DHuDžRX,w5&!gYZ7zXZִF! 5]ŗXiɟ 1FE`空P U5+ul #,En R:R}cPmZh +1j3m۽-<-Vo؝Luѣ^'Qe3n )v/^6q?39 qJXFR f'FɰCm"OpĹJx] ;QN]v@5U3 w/u<1ϓoIX!8z]qCgt d|74nuK զ6:gI"Z1 [Ƴô ?(7k_tK("$;<F7>=x"054)-` /`<أ3H+Q&ѷlrʟU4%_zQtE7| ϱgYZ7zXZִF! ;]ŗXi%6So~JM\e!ׄəLSfzf2eqMUm{pL~`!@.)iIV.cUd۷`mjjfGN_<"!.é+ے'"/W[3'/dݷmSx8O2Jzm tO⬗;N>9aWj+>Q\ FunLy Ƙ C0ټzlbr5xOUZRˣ<#}KsZGDŽ /SC2uE]h7VS7~4ː;'ppCcnLd6t\8/ֺe _TEv#_%w @h1 ]W0*'fuI;+#!aR9OFeOi{ nJ "mwQ)%d1^`knF36 s+30*Gyp9Q`ew3;juR.b촷 La}Pߜza6I%)@ZD9V5y_% 0a@a#}53{w\ްivg(ӯ@"*OGBNGyѐP;Al; ;f`40,SSoHjhI1deobp,5ZJ Kz\Bœ.mwϡ_0^4X <cCX3fë},=ߣw=pmsXŐ'JUBOM%ymCD<)5 *Mpv}k`xj-H}lc2eT1"<6,=/Z0Ml_8qI/\s},YF*淆E⯷+Zx)p8͸h=1$~צKBO(9d\ke@;!)o/Noʢ|9H'v<f>sCsĘnY) f,7fT`C vAcIgYZ621c469737b9ee279909669300d2d8141193b4e7bc04ed3d5e3d39fc11eed643c195af42cfffe6e642d4ff13b8c38aa4d000fc2e6e6fe051d57ff865  ZF