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  JD ] ]Pure:threads=1elapsed=0.740cpu=0.744gc=0.000factor=1.017zXZִF! J::file=~~/src/Pure/Pure.thyoffset=34405name=MLelapsed=0.101a6|cKWX}YZ7zXZִF! \]ŗXiɟ˚Ћ. k$w|e80~_ <{U=oZ GvZ'\.-0: F`nR/(x$j&IxٯIgYZ7zXZִF! G]ŗXi%> z'Hl kb20[QC; z0fk:E\| $(Z;&<4zI67zʉrI[DFoMSy< DPV`}g=>YuF5dT5M8~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