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 $ \ ] Category2:threads=2elapsed=17.844cpu=33.840gc=2.276factor=1.907zXZִF! ]ŗXf1-q恉 :NCG 8vۗ#Y1 h  PrJB3~k~RwTY.zOgP WYoK/.$3ؖLz! .9r'-dBOI@\۞r giWS LzEKe6>ti4o@2W0\S6I9IIr%a7L̾ m1a9Y)%y}E<` ~~X[#fmȃ<#Y8mJ=ave]\xm䭫$3Zgn癗gB?OFyƅ;`A}E_P1"gYZ7zXZִF! ]ŗXiɟ1qnAcP꺣3TAa T[Iwwv}S9`Bn\G!gi#w2g^p)f}n.xXJaͮB'\VpG脺Ш oYRZWՏFx3p~uLCR*cQG&~#׌[N (SvbD3OR>qH1+HZ' \]IgYZ7zXZִF! j]ŗXi%r)4MŒXRF#@8zwؒg_5pF!(ɔޥ<.ܦJ{ @6t@(R5wuS[0EHCWIJZDcjݠG8+zOpt;LE__U2 2x^[-нnKjŕO?=1_:}Futxv@": di7C24=Zrw:߼'ܱ%q@na 0%[VvFnG979X5M j7:n7aW2O CW)> ׉$"gηUx\9 h:4Z)3IKJ\ Ն5Zǥ H:ZYS}+W_}P_&]u3Qr !NYBh9GΦ;E?4RAm30mآ"ރ2`){(eEAO}LK7$FAĤh.K 9CrTXu͵V$YM T*I 2L!,CVPַ Lk!sQТ0-,9A+z-<-oUpMb T}\!*1毺^@P- g]U!%;}#0SX(:{$wcUfKwv ' maѶ*^_&c'\|~'HMH4*H\b]t/îsiL0fqCZԵu؀LQ p~PW$T1nvrXT<F;O)02jng: H-k {뀁n޿fp{0곩TOC `KG^^_|Z"|fEl~WN Ǵ =+*X^}P"q tU%/@bkŏ0l:ȫq8I˓YS_e+%EWTOs4Ȱ;igDZƼ \/W!bˮ6Cxx*sq@5躰T_i7LtR&WD:=<3ؼ=GN#?yST  ¨gYZeb9defd0346a36f96cdf903dc905bba040f0575fd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 168e61d6daf9a7158612b10229e94661664eac03   Category2