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  NL ] ]Pure:threads=1elapsed=0.741cpu=0.740gc=0.000factor=1.007zXZִF! J::file=~~/src/Pure/Pure.thyoffset=34405name=MLelapsed=0.101a6|cKWX}YZ7zXZִF! `]ŗXiɟ˚Ћ. k$w|en}=7bB{rbA=MkM`\0wiJMax0V%BdL8=I'bgEO|>ұgYZ7zXZִF! F]ŗXi%> dPvU(>DMR%ݷj=ܿ[?>}2syGRPN11$4J쇬r:% 4< u'^}Ef/ăr+nyV},'LdKud׋|כy0~ymZQI^=gRc_i. ј;+͝}y) 'MzojJ5U CeZBe| 䵹cj[bP4;s&mU04yɇ*ANmJt0cߡWmY* ~ "˱gYZec7c21c3a1de483b2a2348877e06dc2b991b601786b56c8a9a539e895ed8d31c0f69ae143fdf0109  Pure ( )')PurePure.Sessionstheory/parentsPure(%)PureML_Bootstraptheory/parentsPure% PurePuretheory/facts7zXZִF! v]a0{rg+5\CJHaәbzRmagQmaDR+`@m.v0Qbkm`^<ɥ㓒aJ֣+IKP|k%-k+C >~2E&f{!z,F$75$#{1 [鳝Rc(L ZHiø>c6 >BW.|ͿT%;f{eYE4^ptvɯ)Ðf|H}mQ}gf’KR?4)4`1n񩝍a)&Z @9GDD^G!"{[G:8F旌a$qSc*@TGDX; ޿X@>oXU'j_@by$vx_J{_IstzA;It boX<81eq"[|DMͭdEH6b"S2ɞch]Y#"•۔8` `)O߷\,Q _mYP\IZ/@掳8d^]i2e>k&ϻT/qMUXZ\.o"xQ<]o#YOT;U:Smpe1jo|[܈lh"NC>V(NSrɱy[ҬI>3Xgn8a9?.4Cj bcj5,b]%4wSd9L% !nP: ?KT {C[}sSxo%%$#hm|ͶRB=G!Ӭ| jlY7!a\<8P4g:*Rݛ?WAY8A yUd=y{Ơq 8ye$x(~PN=T_,fSTrR *k"$nЦ0U(jwr]Pχx5$d>0d.Sy0Ͼuk+rJ;]3%ߨc!C<0e (RU?3͖A(Rg|͓>y>ru7 DJoƐY8cAyT:`fKwapG.]9?}{6!&Vn)^\8_2,0} ^Ўd'~[BArٴubPQrziAP<3 ]8Ŧ-/i=̳Z;r(5p^U\^LXwҍUY4uQj{ףL!mU[Ln+)y̢9aʼnUZE>)vx %<@%(̿|4pH޻+'X=1&>{%88|͑f ϺhRЊWXFܹeݺC#KnKİ3&QG x|&gYZ`' PurePuretheory/axioms7zXZִF! &^]a0{rg+5\CJHaәbzRQeH[aŠ-K}MRRZX>AFQWBPYG~2>d S"Jɾa׉`+wO{o4LBE}6ym"wLF/5v |^i<|>jb[(Б=9=Kx`efB4 RKN0eo( 6sGlw5(vﹳt V qЃg2*^psc IXZ*h3@C *%t ΐs?bA pw+zω+GZN}^0wa1һKe#2䀈 fl^ˌv@8hM]ʠhp)㠡fKlZMzbeJƑO_:'e ti5?*ˉNr5QCN[Z uz%-VPXx~4W,,TQ6NvsՂН{ $,`@JгJ薶^nx +'ĥy A>p:k{oL(gYZ8' DPurePuretheory/consts7zXZִF! ]a0{rg+5\Yv1kI)tHyJ"5sS2r;ӡ"L}#(rK1Pۍ420esap~G4&wTqG{Z< ƱgYZ7% DPurePuretheory/types7zXZִF! Z]a0{rj8<{myvfT-b9eɵR>r 2 {~a=77s&{r70 _0U8ovL@w"gYZ) PurePuretheory/parents +Qv+%')PurePure.Sessionstheory/parents$%)PureML_Bootstraptheory/parents%PurePuretheory/facts'PurePuretheory/axioms'PurePuretheory/consts%PurePuretheory/types) PurePuretheory/parents