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 Z l< ]]]ZF:threads=6elapsed=12.453cpu=45.668gc=3.020factor=3.677zXZִF! H]ŗXf1-) enȈA XR„]Iܹ!hO3.|Yo߷20;3JMvĔQ(4UQYTj:%eR08Tckq K )@[TIjpiOWWP;S_QPm> ]b:ؤj 1LOUՆLebRę ;z/bgEۖh !2YTHTTrt&q_V*;Vi%N< |Xzτ gֿgɽ5 kt?붷/w Hut;7[-*h(dY/0h7RLXy[œ163>`#KҚt"。.;ṇDF1қsERospid2%}"Hn楡&7~ {NsU&[aTCriyi',eWZ-2}^RN9ESy(jJ//fgpdq6 鼇P5lk4V{/`"[嚩?dG Ou^u&9!'!D։W_˓9B~%O Y1%viW;Wn}pnoFm ?MN" H8jyl߻i2tA|AL]czebS7҂4ynHhBlh?N&l? >Uk䲆Ts84[=xc. maiX;m@ q2ʕY ՜N8.,1co&E{\P{TCԷ̱4>pkۡB% $"XT9ƿG^z}LsNho1L{M_w_:釽vƼ+/WIqwۈ̯5u1%U!lyFVRO |VX0 8aŭ(e6I~5([c%㛠%ճzA'#HߚFq'Bc uE֣u'yץZ^53w-Ň -5Ϣ쑈4[!`6& ײ!D8tU I-);p:Ntñ"I38Sήv &xE9!YUJwț<͂_ ;+B ㏀qBP #( ԮI:h|De@ @ɪ{ڜxOI&#N&B |YxcEt"Η>l]PFxUY0pǂ]ߘd讏jYۗu$Fo\Y)ڡitCHy}K yN{+(n ѰFgK*APU3uQDM,?P.r׫fZxFm.wMdO+A yqL\ Ɲ^G 5Z fKHss0jli;ZY'[Umf @ ' \ٞˠn0`0& ,W1Jl?\h^u4\4n}PgR&'̫ @&v$^$s:o ^O[iiGtCOg]i!Y;Lp8eߔ)?pŧdi>O$HjI