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 '- 4, ] HOL-SET_Protocol:threads=6elapsed=21.309cpu=91.348gc=3.304factor=4.297zXZִF! ,]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxaа`(u4P3݆0EwÊW97pf)=:Bwc0M}sYh׊ Mn} ~YZj詄CqxdYUv @LN]D?\/[.2xQǻh % H6 MJт?r~ ͈nZ2/;&5*vvH{aW|dY(Y:'X'P$C0EJ'_rn(f'0r#/`L>!b-?n [arΊUÐ n!p E N*[t>8TT:~>$iJYu=3 X+IVsrYQq8o JjZdH|-CN.'НenC MY@V[wӕSxύ#2E,D%W䲇"UQWδ 5uފ*1{k*e]&N^A.aTF31u nNFZG,o6G)|*V;DN0ɭM=B=W{ ԕȝ&$gYZ7zXZִF! e]ŗXi%>vY%t GqP_$V⇺sM:O?#*c> ke}#SgT($xzPp?APe䌪7єPdδwvså,mL]-DݙpDARZsؙʴ!Cdx {"ÊF+{p@Y`f9vz+c<Е Sr0C˃aŮcqݿi^glt~m;ի'84Xd1rFuH.h6&4[5vISR2dx ,p|%oS?J-@Bm0ܖ ym$W4хi%ұ'˞ }ew1v\Āǝ䪱91s8{2ax1y!{_<\a񎲨Y Sp*mP!Dl%rT7"c"M%A˵v!-Xzpq-tg.3nY4LSt⠙B ;nA 0f_o ɸ^6LAMF]vs3Ǿp^.okҺ!Mzu0L\6HS 9 _F=jE(&qjZHtߣp%*lXl D間RQ<_ْ 2/85'j9dFX1Z*BK*ܼ&q '>G6mTv4yUyRtJ1~Ƶϐ/#S-\"d0p< sCQi2SRa-#nFOzJj\NtH4$ TP|\N֋16GK͜#t-]brB=ҌNp- ,0~ gf:AS41@I°f[/U4I*~z,Lh'vd+RܱFxG'+s̰N(aa 9 G[LMu[WM,#Nyvњlc?+Z<ӷA7ZFIG#i|R Asd-K?z&#i (jxkIf0~2@:yL x(eFpIOxH9qp+x?dht焯aj)JFc&\4Ӓ3W<<ƍ"?0l*=u`tCz`zpǖC(u.v=_@J-8hߔ0vnVE5+jzUA+V kDJKp%u9p^WLad4`>'AQ*5;rhb7W-^T :A8>%-ǩ(FD0"?QdRބ-2s7 <&@YyrqrU(ag3#IoS!UsR`թE1 9\#=wM9h~aG ڼe^x`u(듫.Kk1@ёeCj yS Uv H=9wcnʓn#u@.c>}ͨ 볥Zs- xUib>O|\b?Y9/_N`nQɑKx4̿J+s0PT$hm}mީbI0,x*<+qoZgYZ2aea3013e0837cea4f79a8f8b4d751ca2712ee41b4ade832c2d8ae0bd9580685adbbf7212199884b 6105b24e2998351bc5036e9603d7810cd4823116 57038d43d78f43e7980e86f4f772659e9c5bd558 - HOL-SET_Protocol