SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 |-$T ] HOL-SET_Protocol:threads=6elapsed=23.987cpu=106.052gc=2.072factor=4.427zXZִF! -f]ŗXf1-q恈%vA?'GAq,$L;׺N'n\!zDûh8iǩ;iM;! }I!ZŜ3+2%YώdŹEE9=A &P8ue_5nE"a+Lǚ),'rzih\2#c?nȥÄT2Y0M0b@Rj'J;b>agnTBER(ζ=BXu o{Ƥbu5|Pc8ϓ*@M*v Z<ڮ`_H9y eƍ%D̢9e3  - HOL-SET_Protocol  WW5LlP FزJ)@@J=O"g8kdҵg*~k[0u6rHο`ElMEh؀,i;wyXШJriu(Ʒɮ&PK؎9AmS=*"Jy [yM2/IF/Mt/C)6#?y?ڔ`"+DiL"hF=gL?Z#+-lr==~aBp=˷j$_`?8:esڨ}ZZ q"[;d0B:@+}3<.y-^lkW61] x\3ܾV#YiǗ}+*Di {X^=Lҭ`|d8n*L YũbL6R?%,ێ@ 8ӮS_8\@W7ct3\0+L+ hͣ|pHZ,=G˾q]uvA8'#9Ȓ"n#d)Dȫ+T7,EML̔b ,?Qjgs?s8Pd piTZ/}Z+[gYZ7zXZִF! G]ŗXiɟ1$߆tI)|yu|fxTc?Z,*Me<Fx) G<=yZzW%ZR B4Po;Y$f Jb{U`9HH;=b?(i_gsQ\I+̬لtPueEsӄG}/ }L4bAgYZ7zXZִF! m b]ŗXi%EZh/k@qvHcW7AE0xu|.{$o+R':٬4"/x'm!Crv|dJW! i2[gK&k~Ch28zDi *S>0QK ZCQl.mv\j㰐S WnYK3*49I3St o«;8Z?ex yt˜~e ukoJzmWg/|niܘNrJDԎ;23m2_ x@昺X jKc՘UψtRsfɚ?̎u4WIݓݷRljNƹ|[wDt}?"pQ>THU0¯ZmpZ1Ҟ-ynDy1#ٳ~`2u9MKDbuUG`xhj:J;A[xaO ZIcMd2R|(vcCbV {vd뛺ОuElsc>#. 'zjgRC@oQhx\A| #p 1:tRP:/aq3/lFYLOXHQ'a\P:%sV˸n+L!~cjPlw.yN{㿻&orF|iJg|(w16q\?tFW"+  0fK#iG ~"k8ёDuj#.7TQs2UTfDVx KhM'-jT*MR;|`B滀p"5:B{:'?gcS-h _Z.=fr~^K!jחz`bn?P|Λ8e3OFF֍}Y5m<Z6`FJÇR[ ^fԊ+fЇkK1B4+vp-C EW{ˌB$,@MA%h,t(#ھ*;t'iERHö=&%gGSp^XaYf rCmigW iL\>p4AO˜;JKj1eO|a[mJU vLyd޸.Bo=dz q})DAܨ6Pvn3K|Q[Ձ`xn|2iq)>dA㑶aNw>w(~G1d(o]Ȑhh;?'"[}#ё[=)+v"A\%PN4&د(GZ˟$*4y6%t} ǘ])NR71HeN٩1 Di!+z[!% %ȽkMaEtwQ6yWv>)TI^jC)Vc1f$GӤO