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  NT ] ]Pure:threads=1elapsed=0.768cpu=0.772gc=0.000factor=1.017zXZִF! J::file=~~/src/Pure/Pure.thyoffset=34579name=MLelapsed=0.104o~׀(cKWX}YZ7zXZִF! a]ŗXiɟ˚Ћ. k$w|e%::~02qo5憔nV@TIr3Fs]e;i?^} ZZؚV^fkVXҮ}>f8)+a^wJIg f8 8Xj!67j&6B)9kD((hTمi _b/z[aIJ-5^mM,H+Ro@ t;;ې_'7)A0=_lj3q4mj ŰĵF7YN-E*fJ2r`ť2?wt.՘aKTƠU!4˵ȉvl>}'HqΙҵY3>KV:Yr\ Ӑ뢱gYZ5e3c7d94ef7b064b162bb70b2dc754fbebd9b95d8bf312bdadee5daf8facd55eb1fd3c8949cfba8b  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