SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 T-$ ] HOL-SET_Protocol:threads=6elapsed=24.010cpu=107.472gc=1.984factor=4.487zXZִF! ,)]ŗXf1-q恈%vA?'GAq,$L;׺N'n\!zDûh8iǩ;iM; }I!ZFwH=ALT?L+W&P&9(W.5 F ܎Z5xZAe{}V=tR $ y* 2q-Fg-쫺:fR!V}?c!{  !f=:8VWꕼƝb~>u^&@GI rntIPtgو3\#YK+ b&UIzzD+W6.z*KY-HMQR@F - HOL-SET_Protocol  If5k9?(u=3P"ҷQ"bhǙ|jNс!ϖDprJKIB׾7ۗ BN{sbGE%Nqj7 +Z+jڜ7k]II4DPXxf#7WzKgt8.ēlQ}}IQhTc@̛JmQ"y&0>-1 Kg6ek=F~J SuNnBP*`['/M;I`(Bct.'ZT*5= x@]klx *PC*TEd9f Snðސa¿e@u㭗Gm#HUJ)`?3WIu6@6r~Tq-IPG{FL\J{xDþ wdןeY&_"o?iN98X1eDVūXjJ͹JḼz7mיndlQTIDA tZY5@wEA(lTQ@V/NTV8Đ7% 3.RXgYZ7zXZִF! G]ŗXiɟ1$߆tI)|yu|fxTt}tv7zSrߋ0abM+!mnQ7p5 UcˮK/޶H;l#.ŷ֨ZM=o1]犟vnx"Bq'`C <ѩ21).,G[݂v7x ҰgYZ7zXZִF! R ?]ŗXi%E\Χ=Bur=(&awõ}J7~,]Zwx*T.CD'\æHdO=nIKmG|C9BۍBNlT 9DF6ZB{q}9śYCCMph)ɘ`֯4Rut4]2'E1 4kVc+zAAJAcl?5nGFM9PA\:P@ѪTN#Ub<,~CΰG 6<âNfզV1'r (,+X=4!@cQ}ÄR-բ&8[ꋨJ@ 59ɞze'(E٩ϩ<d_?|=Q@ᙌlHa]V>:t?ʟ$&"-l\WnXȮ#;őaB5*By_ηi[ji!tpy_wfCZR05w ǸNړ0@RzLrZ]O:` Aڕlnm|g(Z|y0*m`t 68jup®@"b%aVDs!GhF:xʒqMBF<.  A:AU* V5aRHW8*yv?#|m4 h]#'Ĥ Q -o^ZGQI F.n~ “1&ľsP$!.8BfMNq`!PIuxk6*p~@ZxneQo yNp^Y6~GJY=i];҅zMw.&^Lv^**y;S5LJ$/$n*1I i&W~, ҂_tdLo$OfcY2kgCu8t"U9\% DQ)#@®J@Ef2f C/) 7 voǷֽXޭ͸>6VM_h"tFTҷr{rJe% j]˘D إ t+~2^Y]%bPȈtQyM 5޴!PУSf#KW$!O1 1*NՐdڸ,ӒֱgYZ7322dfef0641bdaaa21dc476f7fd87670b0e55344bd67b285979e6f43cac76043955b384834a2c80 5036220c7d35dd2ef458845900033dd223e33096 fc075d9e300d43cb3bb5bd23bfdce2844b31787e