SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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% |L ]S Posix-Lexing:threads=2elapsed=15.444cpu=27.820gc=1.400factor=1.807zXZִF! 5]ŗXf[&q$/= :.@b҃&:YBdD6Bj`؄K}nUJe%h%T`Ⱥ(pOsJpI`h`*W$f;3Mn~gc`o!+;F>F Z蒩GU(vy"TMٸjF#h.SO;h94W1dQKxwVwõ2ªbQ>U#P)pKcP c? JQ83&q0|gtGa sQM@>y7P * gYZ7zXZִF! _]ŗXiɟˏ6t-utD>ь@z?HS(kr(?1LV$ӧDFD$cOf0)G'{ JDgYZ7zXZִF! V]ŗXi%>giGl>u0/>dV7̺߰tA q5i%/5e(<#!aYe?#4^AU2$+ W"wVVZQu@h!V(Ι=Qjp`BCBrd2"ӹߠRnRM+-;QyF""&fv;n2#ǎLC!_'D7lר!P ~ڒ!v3vk!42i=Z[ZEQKx/2=w*y}_1Ae(4rOL(hݠa!r RLq : #^}j(5`Kf.>B=xKݽVWDקzP{=齴EB\pԵ]~ [N=ۄa\=MĚc?NUg{w6!%>("lEp>eq#a"|*o,U/`%T7!*g!oAF6> Xm󊏻l"Xe^es袲LcL;:dk >hh]CrNBl!&-Dn,BYO{:sٿ6K{5K:)oy xHڅ@@zQeW*B3_U O|t;Fl&Wx´LП'oXt[ ? S r: RW])t=ߒSt'V&%}ĥB(@]UvxF[cyx<$3|w$<.[fQ.QalsOTn qxJnWzY+4M(g=5).[|zw2ے83"MIB$(6cj{GP?U@˄)3 钶|*0w՝f6դ/Ra8xV+<~޼_>4!]T$urI7?<3-ZڂiFt/u^]`qImN2HA ӻn; M$xc,ǒA'(J|=Kh^vռ]-}p؏D< @`gYZ20bd2f8392f4d684fe11e82ce7d7a231f8827c7b0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 47f3e547c75db7767e004a4b015e520c4e949d73 436810b98a5df20c9c0908969f90a5f48e8372e7 % Posix-Lexing