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.751cpu=0.752gc=0.000factor=1.007zXZִF! J::file=~~/src/Pure/Pure.thyoffset=34579name=MLelapsed=0.101%V cKWX}YZ7zXZִF! `]ŗXiɟ˚Ћ. k$w|eo˱7w ?)0X݋ĩKMΐοH>BYcNU܀ʬ|>ұgYZ7zXZִF! I]ŗXi%>n<&'ӮP ˝4 JBS/lϒk׎~p0v~DU:U}1f/Fږ'L%Q8k$~F1w {lKeJWxk]"~zL}bqhO6d:&5~ @Ɲk{|) {NIѣ^UϦ.* &ù, jhQnNmՕînߘS,ܤ\Ae~4=Jk΁a6DՂꭒ ]䒖sw&M (S;GL ֱgYZd1bf5f325290236b88e2e909cdd0d0651681b5d0d10e51eaf97bcfb5a974b5a9660b4a9c4ab71c42  Pure F ( )')PurePure.Sessionstheory/parentsPure(%)PureML_Bootstraptheory/parentsPure) PurePuretheory/parents% 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|cW8|Ҟ3`Me:'};ޟ煶M 넰&R(jw`/qUA,) l%r7wmVYjLt^.0%Qr :)+TJT"&EJsXpa=D;aA1d;6)w,AkfN}z+)uVf^OQHk6[[T+l+=TvYjwMϽDgzq"L=:@wl)r o%8Mdֱ66@2ڼ/-ek+_'; ^yH2L9 G{Ir h3gX} ui#5AFQWBPYG~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 +Qv+%')PurePure.Sessionstheory/parents$%)PureML_Bootstraptheory/parents)PurePuretheory/parents%PurePuretheory/facts'PurePuretheory/axioms'PurePuretheory/consts% PurePuretheory/types