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  RL$ ] ]Pure:threads=1elapsed=0.735cpu=0.736gc=0.000factor=1.007zXZִF! J::file=~~/src/Pure/Pure.thyoffset=34405name=MLelapsed=0.100Σ`cKWX}YZ7zXZִF! _]ŗXiɟ˚Ћ. k$w|eF>=6_DX2^YJCn QF:YC f]Î0Xk:inlGV(!v9&X~. ReIK4${\+{H&'Cο]vC}F?M KG&;{!_.1)KSbf<Jkn~]^>;jpV]r{ɉҹso~`ԴT@O]YmܔoҜ}] C=ÖDݬW`P˱J]hFs]zlwk]+H,Q;*,;x2w DV`1' R32b~2 wXgYZ28df6b6df0874fb4e61c7defb4401413c9f8953371694b1f2d25d2d9aeaca0f1ab390c835916ace2  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|͓.Y8W}*T9{x`_0o֝7oυ as*K_O${˘˴Ъ}8s[ i~Qʢ]͎?n~y$gk]"-F5 JY˧o-N3F?>4 }(wÂ$G-mTٟ)" 4ޓq f[vד\`x|ei؊cp$G 3!4$|w:,nq4ިܔ;sJxȫ1yݒ58Y:[FS ͱW;"V|!68^*!̇h±Z7]<]֕#x`'~ o+R ݯ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