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  < <A TlD ]/ Category:threads=4elapsed=3.475cpu=10.880gc=0.144factor=3.137zXZִF! $]ŗXf1-q恈͐7ӺV l7L!hGfӗhFOMui_ׄkCI5ݫ_;$#1ȅO4m"qHcYU]-tIt:ک*kZ͛w wGщnyV畚VÞ.d`_1(~CaRXˀ-ڋ q=<=|ZL- ;J`@.xS&L7BFXxf\Np۪#9ɟm:5$l =A V>LgYZ7zXZִF! ]ŗXiɟ1˦r!st#?9Ob0 YZyچaV.;UJuȞdΘ"pp޽ʊ-4h?>t\h9vH\Ⓛp»&у4$BH2 :_Ի:&=M2ؽlaDr9gYZ7zXZִF! &\]ŗXi%Gg퉨Xګ0qo_I> 2A64v^^?N=8z iϖMb@WAўo܂ =>@Gի 4D :E{(i&vcujAw!~tm~^K0u Mܦ[RxwVCF,7c{*Wz=*9= 1<8L̈#4TRRǕ_ vk6 4XmYU&%=p 5TBoJKP^˛ @u"^*U1Hbړf6 z{^h:̕_Ʒ&.4n`N:/x*Ԫ}يo7^Fl,=~!#{ a_ Pq='xXhIw82u~\Ýrqł.8UI]ZsHtJ[as YgdLX/Xs+( `g5sza%1ՆdpUj,e)5ZesiD5 Iҗ煻4NwgV ~@a5NÎNnge *{yfǫw#$HKx~ K!Z]>0d>Z\fQ\eW1kk0fj+XTc^sh694t2&ntwy٣O'XyyM,Duq3NtЬh wmf1i̼P,(W&xd[ׅD&U9.[ӍJ;-}{ٞ