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 /- |4L ] HOL-SET_Protocol:threads=6elapsed=21.103cpu=92.260gc=2.408factor=4.377zXZִF! ,,]ŗXf1-q恈%vA?'GAq,$L;׺N'n\!zDûh8iǩ;iM<~sMr?|7ې jNW2 jo$[9g>ə b}ʼnqE5gI8RI;HC.mswZ#mzDӲD3&Inm6A]ٰDG[^޾f21i),ZF3 rL[^'D mP#ћ\"8Kg5;Ԝ(eFhq7DgϛS,ғ|w4lϬD Zi:cDᄍ͠?gB7]7]@٩RhU9A7 ޢ6Ux2? aJl?<ѱYqaQGB_F\i'8az:&/\.2`;k2= iCKJ 0(*r)*8؟v JcO<FH<+sMx}? *tˬ íƜYhk4@iz1&^Y P7R=| ”Gu(kfeM4wiׁ %]OmXB.aVd٫#wT0( uR׾M}%#4ZpzqT}2e5J&Et=JNH>Qh=wu8_\ &5\!1cdpWpכl(bfJ!IA`;(ƾ25̀XU1OIji-m`n%ѧ-qF 34B 'ZZ;Xu|gYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxTtw\/ϥ/? ' >ǡU(Dtiu_m!^N6ZKƇ[d@D7 |+OoIe+Y]/^_ )* pLl2p,zO'.go,KyŷVyf>87|$gYZ7zXZִF! h]ŗXi%@fױ \FXE-/"%\E(Aq̒)a1Y'+Jbo`LD[xQ9 xrSdhP|XMk#:dWυ)1nho7fXNP(y7j!r8Wx8cЎd|>]/">v ~؊Q|ͬCCÆ%EEy*Ek rV&9n4 x3t:t)@3H1YT*x}8pՂ7 4p!+ƖcTCX E-H'P,ԂEDx>WĸwyY(>eTR`fi0M ]F,%DQ0̏˸?Evo n꓍T kͽe;Tz&dZQ7"4cF@Uֽ\Zc!X~+^q8)O,ŃN{A-v?v j%jU#)Fū,XPM"q.(+.*F.jqg\Ol~0aΉvv&H&ʉ,z4φJ}4o\/vܗc蔥"`~pc- B%EuNoE~9-pG ͯl5߸rqRec=#p$rA _tkC%wן\ .BBIYX#IKdWI #N^e[Oe]0l}{gG. i7*kgP`4rmP|T7֘riuuiR` (*_߱m Q| Duքc~yKA? O=~*-ZEew=^`iCdH+?(ۖ[~|VMӒxdiV0{ UKP$96EL19'95%D\U9>usA-r7{&C uVx>%7$ŪGlv*QUn5haMM#$%14N4pb[ZŮ02e&s~yuŶQ/+˷Uy0rQE_ʱ>LY)ľ:4 z"?g@n4$rox A黪|2gM~t|![eKMR"κ pJ@hJGܤ*tFƂLjwBOQiͺ19lXAo13O<)ygc>g)ޠ(ٍ݊l7ބx"mpNfes#Z73?*AJ8T^fI֫,yG&m8LǵsCTȭW;KC x PnC/*s]JAyzv8WGݑ\l!.mZOcз)Rx?(+B$P}vI4v &β1\ ZلyߝqZ1@-xrĒ'>7OYuېhavV+;yQ97M^P0uEO_p]򵚡$ktx3@sn!KAp }̡G|wwFD6Y?,Ju]xDx6̰~~ɜ/6&Dʅ>R<{:ac.xP%-(9U@gYZ60797894028f8e7dbeb4abfccc5a47a4ffe6a2a7dc9a9988939d5185ce4d58109b3c7ffc48063b65 00b3fd39e96e18bf037b747e64925783ae796195 942b85e8b5c86c3021f868955028bb861a0e9a28 - HOL-SET_Protocol