SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 |% $TT ]S Posix-Lexing:threads=4elapsed=13.952cpu=29.772gc=1.192factor=2.137zXZִF! K]ŗXf[&q$/= :.@b҃&0Z_Q?%hT,'˞}A}o_3j,^r9RtZ<(sVzdk}iiP7pKؤ(pyB~ybxQH5x"#k1/sᓾ {H1xjވcdH3pP xv@A=4?_n1}4.OĵE˴~gR*w^.6 {rko(&5"pBG=T/89m6fZ~tKB`[._)Nd0.1߱gYZ7zXZִF! b]ŗXiɟˏ6t-utD>ь@z?HS(;;GW"ݶHIWY}\߹4w'@21;`#Z6~ gYZ7zXZִF! a^]ŗXi%Bt0 jv}Z] TjҲ /3.DZ7ᕘ p $)_lvf9j fEղn[t JjO2}; GÏ妭lz pw-mm;.q2Px, e<ٱ }3&YN5DAZX$0kTCM Az4mE XbU8  `otl.,Ā--yomC9p?Oֹ y(Xg8MaqT8HUUvBP"`F̊Pql{t J坺0%Aj!Eo }q aEZsn=PiJXU1EdqE{A> QVxK$\A43LiA+Y7O sDr ZhWul).N+?Qu'g؁==+ܖ60_q XEU@bM |C!P;\7CLq3 Ec@-~v&;C'ϰZv.$l/[sZ]=ZoHk(-LӗY`Cy=OUY:b(-܋!z@$,`y(x0/VK F'5ad і2 ^Y]WⱈI-Q POqh/_6S/5r3di+wK )VJdf3^uZ=ODAoNAO<^-v^kpW'v q -7t_Bc%EwwOZ'V6HhB nEiyǴdp{\]>hK>uz™50+^xμm@U&}MGeɸ6Jp1d{UV `oW(euwنQ!jp~;5Kk84Sl*u C=i+y|;^uFxgJ% չ,_HwJ׫Alr`-ۗ7l, HzP'd0/o6Kb8*&kHi>aUHͳB܋uK! :ZR9Ksߝ{`E*(;{E$Y A׺co] 5gYZd3faf8018e0598e231791b550a2f5df14cc0dc95ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 2379426be7a8c61e771f9e01a38b6b2acacdabc6 a60b1e24fa68dcc9206b9b29325f4a454a4762a3 % Posix-Lexing