SQLite format 3@ - llB77#tableisabelle_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, "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| S MuchAdoAboutTwo:threads=2elapsed=5.269cpu=8.916gc=0.264factor=1.697zXZִ + MuchAdoAboutTwoF! .U ]ŗXf1-/6vR[k\_[FjhfPiYLKh:(ߊ;R3L WD(ISE>L)lxE ,{y`XQE>{\f@Uuo3:k?IէJ2 XӦR5VY,컅"hH?:eZd;ڔf Z|S1rɐ|my.#ȡjZ,Y͑Vx6ݽ4_3sqDbK"e2qT J tG\- ,cP&V/mұtXL9PW('H;5 H?Yv{k:tGzoC[cB\8t {o*C K- P㠭嬨EjDvvL,S7L[;lV7͐V|3Ku3C6*Ő.zT>o@[z] gD>vj.f{w|=h!k- -# p5{ I'Їgz\ a./9ʆ9:Kc-#(TuRъ|5Ah`÷Kܐ}  AQn v tUN'8 b^m )'7 *F^8igP>sp)"+].%R 4jcNLg\ÄGgYZ7zXZִF! %C]ŗXi%SuN`\TvI$| ȁpcŸgYÄ1`ZMz:"۱Uvn"GA0.;ҙ3w Dwp>^OXaNqmٶ',/$ޱIwF̝[«kKWfdY轞j:,<]ad1 9KͷۦcrDQ5?ȵ+tJ7Iǣɑ&U܏n/.9 ;Žajz=oo,[1kq3}a`O"eKL>[2Srn%5@'ԧ8-0s R= (;L16s S W54\GS ڈZ^E ČYxPv@L.RÎ2!OJܕ gYZ1e0ef1b731836edc5b77fd5fb97fba22104097e6 2ec70c5a14df2cc510e42fcb79e841ffe231c49b 8f8004349bfaa7d7d161c5cf53904cceaf76c45a c2b674203e2ed4778417cb7a191e611aa78312c780f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c