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 , L  Category2:threads=2elapsed=17.596cpu=33.360gc=2.160factor=1.907zXZִF! ]ŗXf1-q恉 :NCG 8vۗ#Y1 h  PrJB3~4 `m:߱TuDb wHTJ_ 6PnͱHm {׵jbS'Q^p\KlBM~*S P\m*OdҲ.wl?3n*d5wt1ew-O| q )bGN"<cȏ [ #*>$ ١tUģd3KE%;&y0ise-9)Ţzos:'.7݇A8N&b&'[pB$Y +D, ]NWYt4LN]2ե.5XsFXq`CC(F0X&dj,Q_5ȟMT.].桻*x.n#@ڞ1GJJC"gYZ7zXZִF! b]ŗXi%6{B9L+Vڻq/'X"@H9V7;,ϝm(G+-`NgzJ<׮.KO2E!?C_PDS-ofqipȅޭ <'/O8">~DU~5{0/HJ(οX>߾ldjI0R0vm-x/}DlBj2{5WQ+D7&tXo:J##^F Xbdr}qڵ8Dn*+7FՀzfw^4uDAo<1Qd+7 6!i+F Bp$;OȶQwN,U$`(t57Y NCU,>Eid wӎ'|Bz= p]P=c6qFx3aOjV`|η)C6%t~yd}~>0VFA;}z[+GK7(xry٦Cc) ]ԡrn|.wnC!Iymz/xs^ jRqXMtvP[~[㲉Ė0J!!/teLZc"2MVORm\2fm.g ,ik$wehEI/P$X$(g̈3m,Ql#:Qb OZfg*Z `#?uUpp}Eℯ?#5^,Jo'<04>E,Kv;.I >3jg-ࢅk0^zKOr6==6i߅Uw $O WFgHAf>a@_Y $\2m&}K'zQ᎞ezq[G}>בks(K" ӝI%@\A v~\g{qF 4wZWÌ85ԣ:gvO:Xљ%`7սI<]pC^PY0K;g93xƪ.;rm[]Exgw#3 4DrR^C1)bf ABYUF-_nlʩIlvH~] VNT0оcAEoԝy>9 @o