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 K- |4 ] HOL-SET_Protocol:threads=6elapsed=21.312cpu=93.020gc=2.796factor=4.367zXZִF! +]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxaб[(+dۻo7RMVWLxH=d %C|,zN#?_wq.`K 3"QhٝjAb~Iх #5`xS䫢X`dTcxrSl6q]2{vMGhLGC@!yzbuqIFY=y 'V+ HMWLǾ"%KǣIV]@9(l&J\lҖCL M<&bw} ^U̩#A>R FP0[2E)xE-ggT*S$t`biKm;}ʇZs~*I7ʎr)&gE[*fϢ=UvO!&~ZH Y#gZRld@V F 6RN-V%bj AϠp?!?1!4 %bBDު\T-WSk)>hù<!0M_]zU^E1lG\~v\1\rfw;lJAfo`B a~1=Y)boqj1Ojڸ/nyH*m `܂K.g$~q.<]0wew`LpUfjqG7fVyODqsXgo;Su $?G@`F_,ٌ\n}~ҹ$ϻ+79u9#r:Ac=}9щzcnמTYj{3p]^;8(_a:lz8p7J#8ϊܔKT/ d@ť7GnI28dWn|gYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxTu[c\e<Zyuzl<  J\,` _֞:vR z_2@oг uBj9P"n/`Bpۦpl V p=b6Ux<f 3ZALJʬ˼va[?ufaXgYZ7zXZִF! h]ŗXi%@_НN @܌R`?OȊZ //"'lIP űNڰˏaPʟuO"eSh0#0F ᫩H906?gO^ xїXـ̉H (m6`S_0?^P#0XL8Z:Ry \po0Ɏg$eܞ\Cgg~sτ^6wLd_j>K$d~G A5 VRg4\ɾӄ.,"ܚO-} JΊ>dU`bRyd| ,pXR5yV`11%k9*N\l_Qcz W6jt3~TWv3炭F[Q}zuv|cN6' qrj(Sq(bō(K2_[+"PTM<@wwC{:^5S,`SkN1\1kYnE+(70:d6 J)!21'Lk"ZU,|@$3SHX .:d[[I%u0I=݈'4Aj]# {'x:0Ǥ$Od=t\.;Ob QQ%zAqH!<7x=2w^9]n;a' Br7wVuX\ќ8N?R ٝ#2WU`P#Irg}Et!Ǯq0qK؄^t-D1APe%A8ciA _xڲRo^B Sܘnߛ?-iG5]& L~<ӓV1"q"z셶j|P stdNvآMȏsއG^i))dfOo$"XYh`zmD||SE ּ|c'yF,񻜙]^Efḍŏ7Iɱ{䩊8saYJ>H>q236'*ŒT1}NyU\C;D6%rtWv|%}6D~+ ݜ(^=TmLvҚRW&}^;}謺b2{\v\O& 9 }Fl I>uMiX`3O$%-r ڧ@)z{ME3 kqW31Iނ(R9m{1fBM}V+BگQK~q;+.R9m,a~:pA eJʍ1^ "qRw$x cq c~0:pF2?͘mYM\6v'aX Pc3a7Y}/i _1X19jGYCgS{5m>7P&?L?:Ǵ-V\~txbkY~P35gYZ2ade650cef4964ab3660fa2c1041ec1ae861b499bcb48639fbb7341b689b138997e7d93ac6626bd1 0f09632813e6e876e68176357986a5c1231588cd 0c96f85d64d6fb4c59da90a85084a3750b72d836 - HOL-SET_Protocol