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 ; Ll ? Separata:threads=2elapsed=14.617cpu=27.484gc=0.776factor=1.887zXZִF! 0]ŗXf1-/6vR[]]uRlindBkTi5݈Wث-02ǡohH7F]@鷘^^ jzGz *Rɉ$viܰDց??TEwƙk" sW]ʤzD?;g gKKQN9\)+iܩX;cܠD1;lVt=H!|A(L=Mp)zĘFE:+@% Tׂ_4 .Bbx`13==pMuۈC"]8 2G^Jt$"i ᨐD(Z Z!>zam P#sݙ lͽg+u?6|8xЖ+ĊݡFұ {|ؤul '4f)+ekڦew#[%<@@XD%]{K_ KFdN~dAK' x>o>Bg/y- @Ai4GC3s(ӗM8YRV&2Wz (Й`Tw4^(eBj9lfz`]a=1$nq<,Ɛ5xiIo1k _H5 Uj״7 ;4$'%N-k<}Gw EӍ ojR}fXCP?b#wufj5?L{dzFxh7AT@G:;=$ zJ!^+.Ts&g-te#Z^^ \ݱgYZ0d624df132aa2e54b02fa619fa707a1b424b9830 383dee4bb60284cc7229af5017def9c12378879e 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 588073e9a94985b106417a9549df8d2952c2dbc0 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 8dd70fa76e1c109c39acbd6e1dfe1f80378b66b1 973d6bd96dc9037f8676681fb869d6ae83013aac a5bca924baddbee28005fa4c98d7271639462477 a751747d8b1d2150fae6ecd5895030882f23af21 d49138b595939baf5780a53efcfb4318f28501d9554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a   Separata