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 YY$% T< ]S Posix-Lexing:threads=4elapsed=14.120cpu=30.688gc=1.508factor=2.177zXZִF! Q@]ŗXf[&q$/= :.@b҃&0Z_Q?%hT,'˞}C:}٦]+ l 1h&-A@` rr⾽ x')52-[EđR@"Q%#?pN u 6Uf;]Xd$F_\G,g7qӗd_~uMm-!&x6囼=Ȩ ɰ$ic),PPt!d) v&><lE:$ib ZgYZ7zXZִF! d]ŗXiɟˏ6t-utD>ь@z?HS(p"ٞaĒ Z̝,7Fb[hH}+zh3*հCqLv];c=lygYZ7zXZִF! ae]ŗXi%Gl;D QLOvx&E'"-\> GQ<Pp oP0z[A:s@? AB[NNGL, I\4”I ggeVX3R3 BEDHؠcMO@DkC J&4bj`#B?Ϩ:EVTw|RQ3 GDa'PŵOjnd@s?rV}%$Dv|Ea B7>Ue&@#.Bl.Bl!.@GM7 7-e?22gPUa?kNFUceܥ7&x8aԄaR.$.'QMWGn{)eq+˜/ŎZIto@"jO]"k?\Dbcఽ  բ'eŘ2a\":]~4C>?6.zk{G'?;v(xb4^Y39&1qh,1f2$wѥa|tTé߮րMXtM4<璉zV*g~j颪/>}wP0\⽈>4'cc<:IDt(|?_x4[15niK{0 -7EWt ϱsȈGv8tnpW>tA^@MjzRM qI#gdצHs3CE Ҕʠ͵H{dӠzǝ-pqa~ 0Jo<L*{B8)՗yg B> s2Թ\}*NGB #h&8YPO ^k׿D?9L U(:EE Gz!wLb:Lh~nB,8rae7 T6{CkuiКw1FJp's{Eayl>[d̳]h5WRi,d a]śt; ӧrz{J#3Ž \ߘSl?)Mcr1i$C T58 PzFHְ]ߑ:}׶Muzs`9tb8s(gYu{^TC-FoTkCsCP,F6x+i@@=Vć$V +[T8u]GLms ߆} r_kw dNP4~0?RƶEn[!>?ڨxչ)JQg횞Ɣv٭4ЩH3nOg)k6vQ {ru,)F<04W?C@-o}%:G2͊u^`>dNʡ[*Ж!3 L ɤrg$ >qDrX!z+AFJ 5O ))gYZ12d97132a7a04a59d16093f2eafcec17884befb71795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 6c3f1bc9cf6c57af01ac3a1cc2e6cd8e2c05e4d1 daaea68793a020ffa78f6053c675978a41e0df0a % Posix-Lexing