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 {- << ] HOL-SET_Protocol:threads=6elapsed=20.750cpu=89.804gc=2.900factor=4.337zXZִF! *&]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxaЯW/bt(%/.-韢li LUak2cD\h j-Կ\>|C[IK$ʥzؙ0iπ;&b$-aC5^jNtJ󕄰ʕhڠ]lQ –Kp&*d=H#_&Y@\$LJ/.Y؆ nGek sA>ڧMbɲr<0ptᦛpE֏G^#GDD1`$ h̠1?[%)Z<)$omBGW0 =I|B<>1԰tU2(.gI~m>Ms!+^J 11 {^0OQ|.ӟkOxT)R*+Ad-M_\+@a`1,`y{x+F\zZ'C}bP;ӂy{fͧ?ܮoH6;WDXzJurW u#RisIݳl'?fUtKĉ6bW%礰৥f@g]/l6K 9$gcCnͤdeSx3M2C pro4hwl 9tL)ԋ7?hBЫp|5p`ٓpwbr7FeSe3T(h%N|i| ӽ`N%:hrQiE*-0'"װ14Y1:[aY;Ue ƶ];˺rĜ0${X?A@E{0TegYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxTtaw"C>ީ~BShzU gi_%P#S0e&,!.tQ_OvV܀c0앃`gwdgwaV/Iph@T,bQ̡ˤ9{: Z;4 q"agYZ7zXZִF! cY]ŗXi%>j>5ۜ8 bEv@ڭA}>Ee>$݋%lߍ1;5f>+^Mt8Tb$YlGK V{K&Sz+%xAjKijr=)AGVRM{gn[Z~&iRRy< @=LrgVܵ@pB )B>`X #Kn 1jKyoe+RJjx@vVEsb☍wRa8c=r".5eY!#7!34l|e7-Z]L`6# ܧ>>u^AbjZ;wR/`Ă8~;1\IG ^ptn?/)+};;.B$h` Y\ cҴ&4q#&HwdXx4Oޯ?ڢh yUA{~`Ef x*uh)w^GoXݢΥ _di̲-ItobNAf$jP6%j 8E?^"B 9G߂_]y*Y]"0=u goRi^n>uzrjUݱrtM\EAU [/XЌexPL7='{xgƨL)+|$\<,4x ~gVSy)SUrpm0Sa/|S `L5(>}J[YnIV1]u 9!΁slŀQ2kh*n)>LaqcU_JNIp˶ߊozd 3ة>Ms,< í QФ.8/Zؙכap!x}@oUlq4gM)|v@<| ýԍ*V1MU =9$R8J{5טfVT K'XAQ$u8cG6 e&[{[;FK 9}4{Ix 6]/PK:YV#7Chڄ։6SFfuG.TЫvw<΄c?a%_^>7Hc/LF [pkdi3Y(txw=f^DYhLYU}+;(> ,7:Yٷ}w:Pو PiT *KHtia<#}ija|Yqw004S+<ԧSL[KM&_ ľZ(ubŞ]XnL2aSa;L*oY aDRVhbYO2:)k}r ϛiΦ *nZzz=qe`2Oxy+v>>)7`l_^ܕ4:?KC<'0O˜қKT   1-u%Y3zSb0ߣO3-K3iHn np^58p㼶mid;LhUz7?P!3qau"+Nb Q͇uV]xբ% a;A_Cf69śȰL tRn'$ ؉82JX~mچەHn`rCqбgYZ4076193add69a8292c003bf9b7df24eb46674d57fa95ed0464f30ce78a23f18378a450505aac44e2 33766297751265f96298d96dfa2ce2f96fd564b0 e3b4e0b699f05ce3febc45161dbf3eff25d7bd15 - HOL-SET_Protocol