SQLite format 3@ .;  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 K-\dD ]/ HOL-SET_Protocol:threads=6elapsed=25.466cpu=113.984gc=2.332factor=4.487zXZִF! -&]ŗXf1-q恈%vA?'GAq,$L;׺N'n\!zDûh8iǩ;iM;JYKX^NC{!R m$=a*TZl9,{7g <:wG ]=|3/\X^nh8K8ҳ|3{؊{*(>.Qʜہ]t;8wm֬3e6Z{ 5z3rQ/KBH+g:i݄IkEF{SZ?)8On n*$0jR;i;B - HOL-SET_Protocol  iN3@{&Mban+쾠d/dL,`5dD@ 1{}~]W1HucmS6靁G UhX+_dP'Gf%71To*`+8ZѧϜGSFgs8(6+kI͟+ǭbDiOP=@@=BV|@AR+|>ѽv~8\O4?y?{k)p")FI.Ey}% *mjNS-ch|;BTv]*7DOtpxL 䯰sWg#qWoC.7NFʀ9rn5Z" G[ۧoVκ XO٥n9Io`GB9! 1F~]IzcB7QHQџd+#J-PcwG ?rs}Ak>%ut<Lٔ=FY[Fjډ]@ 9Ғ^w`Ag*W8Ab7Dgްޛ8|6܇l:D%17 {X)+QtH*'%"ۘax^|jC*odp:PjYM]|x2j+T4]*s5b&!ik/]VG'Q0-`䌷fQ"H"XזafX[?8]gYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{f4TZd}X|4Ř`:ҥsT/,mI=/hnǥ/k^a_ESw?=c,o滰e57gD$AP-cH2H&;YPX ʆPAB< C[J?Z&sN ݙzT+Dq D:Rw CN д}h[u~[VF;oD̙`><1_6 JF$"S+3IXkW@lX{) !hפzGv<8.Π&܂֠64IvpBE|7TR-#`kpvz9Zt-نӱy R2/~e{n`d06S}lOE0G<Ygst:sAs}LC0J#u_$y/0I:O2Ηq"IprT+\2"80]O/W\R%Pvgah1S:.c06%'XXsC|x4j>53OƘց4QC? q ʥ."{*enB+Z/nG+wxұޜ _T@P+ 3= `;Mr&lTE2T!Pgz&H"Ǩ L3XY`vK!$V kɘgd=!#HQѭA῏6ؒh:Ë@Ygkʦtg,x+4/[(W՞`*1^؝=q+ \ϴG1k0=H':m$c# E/_]In!1nN j R`R?})ᲮQ:m[ɋCbO3q|SGS>Su]0l#bFM^||2r6^\i^jo'Tnn+&{,e|s,񭕰d@jvǒ߭v$BXl(p u<*.VCxSTS=(Q֌ fkF `O xKiM_]2K 5\x+ P8DdNg:V';QqϿ ֞P*wQ_>{?2M_EȵJ(!Ыcd0l}>UdsK:bMBպ\n 2!eC@l^&&XLG #L=7g)n]Bhm4+)=TFuw}lf)H8&sA1\d2vK!#5e!¦\n(oB D~J,86Dv/ i%|)hP*+gCV;mXUn<\xrO揃`K:C<`E؂fPb[N)x*jBdGnJ C1Kn br#>K1pIkȎU%ճq5iZ(k踶Ujlvc%G<6 [@]~ HQ@1܈rȴ$ %\Ѹ1_ؑU c]fּWT׏_2Ҹ Ղr&s`wW)1IկVReQwe~Q9.ӓ 0m̍NK4!Lud6w}pOA'y, A=mRK:)M,#@i/o7愔%i{B尔xK->H%Z:?U_\Sڬd_Z.R{EA^n/ "uʞVW\c@.Vg_V R~3K%lm8} vVTU_h[~-ѕxԮ $_J0_wYm1 / K @C9EE@>AD3/)rg,7>}^IVQ do\퓌zlO:$۲6oݮxnv85.[H%3ԓ|'pr YCi*UxL.ΊXf9]#^ە؆P 0|rfE=r*.=ǚ/0+e:hE!IGN·xGU tC(!_[2Z>1&U0pړW-ǹ}*8~6[>0m%vOn662fo]C $ÜuhRQpO {Kv653nS{:k]͛l^Ձh[0@CBʤڒ/ i¥P竟#AQRqf}uɤTUWĖտhWW"E_Ns_IpXXCs|u)U0 K:~u1Lȥ_N