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 - T4 ] HOL-SET_Protocol:threads=6elapsed=20.676cpu=90.000gc=2.416factor=4.357zXZִF! *]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxaаd7D&qO`0 sDC!IfôhJKfh:- eij?JgΉT/ÄӞSjvSC|XΌ߅ s[ a2s@U3Cݲ 1`Hə`@7:w+`C @gQPLq`_p@Ú?V2-d^HC+۸M?GC"=E^lӢS)pe>οdpbz&AO~z5 ${ÍaqV p2C`I6fmpɰ& +[e`h:Xޮ8}lx%ʡR}{gPz u@H&(Uޕv]ùv=-';iNw=-u/ZMxOCV}P>b.J&璈iD~;aC*Ya98fED{0U[_SgYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxTc?qw\/ϥ}J%5ˮXB 爳2,敤Oߵe~*w;ȫKJ] fU^'ͬwo8 x٢7^bŰ}uJ _jg3Q[)ibr fO+>\l(ږnA6]'Q  ? cWsW97:1D1md QEf&\3!~ԍYw̝cj}/xz=κqغ]nMusZ&#< u`z3cT@[/E9abEJzlda\q:CN@|Fl3;5wU͌[MXcDɑje<;wY D^Ge?`uIT⿽ nSj3We:. J.oa~u;̌)S(<\T=};`1=6QD$3vRFF+ѲJ"/"L LNŠ!45XJ-Z2;>.Q.]Y:^p jbe_-uׄJ:J7_ط;~+2z 4ӎLzk̙&4 rB$8- 2i"Vx`|OԕU; H)lZ“%)V-H/ pAV>֤D*jsbhlK,9LNJpHpfCiUs=;(UXM@/%7Ϟy"B+q& tL&H)>V^Gg1II}!p{§BaeH՝ST,ubon-> ?4Ptj@pb)sc"W^%WIh&XΖƫWĄT[aRaҮEl}vY>yS# hL&h; 4#8\w;< Aʧ a/HZB;0Tˡ$Ӭ'a[)!7H淧ȁGe@JyԳj~(W84U2P;f^ìCsMi#f*ySB Ȭ~:?vcMyTAM{%`95Sô^w5B57ÝNFG+7\}nPb2]?v~%ȼ, \T{kf#]'@;Et4hmE^g&=Hw:ϒ`-vG|FkD#FE潁֠/ {a:s?KU@xţ evOZWa8 "}Lz&T*+L;0h8 ۡfޓ#]2.'vJ_1URqZޗad@Fh\/983O͘ o^3}ngZV%wߘX~K(M{~h ":D|#tSԺF* z}pќP%ҳ}%uu(Ac{y#^uaʎpف_iP aD_ xYC5yinGOO枝06_e,DCHIb>]q2 sb/Ϫk's &ظ*bIv8S2]Cg [sD+#P)b?p-}x]DttQ?:8xL3 ^́XKvV x8?)lWYEՏ0Cń y3܌zLu=K&gYZ1ebbb1afe778e46af5860ebbba7c99017d1e531671694b1f2d25d2d9aeaca0f1ab390c835916ace2 24112e61b571a2bcd40de8683c354fe7120c1068 3f3d97eda4172cfcc4674099b18491488b051f14 - HOL-SET_Protocol