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 - l,D ] HOL-SET_Protocol:threads=6elapsed=20.440cpu=89.388gc=2.576factor=4.377zXZִF! +h]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxaаd ϝ<{pk) }&ɨ2&&^TJ I~`S> |[VĞQs#%ii Zܱ;{~y}M~[%Ļ5∖>#vɢY)fũVȕ4& yde¡q|A,KZiu0=KV?W&![eT7ElQ]蠕KXUOYl_b:$J %%w5%E+yK0Fx=O3BsT{̹m$;IytVaONaFB@9Yu;l\@$]~ڰj'>^>\}kN(=l(kp4eFW4%fxM8/8>bY@!6,n%5A(KB54-oak;¼/WٶxwD"O-J[ zHc!2QmPV'DgYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxTc0~uZ,m4.4&2R;( 1"Va]ݝt#vKi,hfI_k55![,ߩx N@aKՖ* {AYg8gb:%^;r)fسDL 3TƲ=E}|gYZ7zXZִF! e]ŗXi%> 3?f!c.p~VWV:ul4& _I+\dRNqŒ-G^6"D!P<l3ariD}b;?9z]&HN!4exj}P絠8bS{/@5:KU$'\I+Cwj]azɷI)B&4@IG0' ~x!d)Ν 2 g#/U6`L4s89jr(]kLv 7GUUXQ#VС\sRqjb$cO&GV7fܷ)]A 7_Vg33nhKC=ztS3YOXΌON:ڔ3f70cfH-s/IZahk{h LhH:|n\!"-)q;=󻈩 HpkPϖe> LlCaR)3 9CGfK> 9^N jw{;69|$ WLrv)am0i>n³Pc{' fˆdx҂xsk.ѯl7; m2‰NIIg8.rmJn{3.c =Ѡ%x̗:HLJHd`Is{gF*0 ^R /D3faV\$ 4jZd&-y^!Bg 9P}T[:[CYdfr'foQuz$b|82"-W B8.Csu4s˭)ƚлE-SncZ?9+^Sr(g2J,a٪SvR9݁Vպ{gf8G`u r?M* 6K92Y/"vTƱ:~z@T1iU Ϻ4ವ1_jubPa7&uqX|NU{M\xW -nj6kڷud@vmфzo1W-lKzf.(bLm :lngsJy03@ɠ"󖹧d =%u?7[v5o]Rcf/(jJתGTֲ.?"Թ!P2B@PfNk?`= dh; i|ȜЁ&;&_߷FKYٍM3ㇽTS /}S'^{ vH ?T~4BImpԍDpooܳWN ~’QF=DL@QFffؕ6!~Zimwq*5xp@4@>@{Y :Om{}NpH~  cO c7,PeP`EkOKcs=V)D|l9:VTVhEᝂoּ1܂Pf1y(O뱯(^ qQd;۪9oz;7<_H4)|"r IKT37$is6KM. Z/$PSTMB)MtHk'sNjgYZ461a67ec02667319756a4ab4f03061aba4ca305ed65ba42434d6727fc7f04b55804d146f30a57487 b1ed8c3121239133acb432bd76f77a58710e1512 d3faa4940c431528dad657fd6757d3905bf63dc7 - HOL-SET_Protocol