SQLite format 3@ .  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-4| ] HOL-SET_Protocol:threads=6elapsed=25.237cpu=112.408gc=2.424factor=4.457zXZִF! +]ŗXf1-q恈%vA?'GAq,$L;׺N'n\!zDûh8iǩ;iM< @\n@3ے}$[Q1`xsrӑ:juth=rw/CO3km2ڷĜ};4mΔ $wv# [ t JRh^6x/FgExQfF)=5PPx*0ɞ+IoJÕր #yc]ӘtAySsKB=!W.BTt|ؑCUH- Ӌ&?y͛CHWH7L% - HOL-SET_Protocol  7s8.!Aw ы՗wY"XXUѹp$02wrZ녤ug8-z F:DV+ ܗ TR")£ zkj} ڍ+0pLܗnNj).s734f_h@C l N?Yi0DO?R?qRFk-- q8;&$U2撖˺Jl+P@D|Nh"M{5O_ɝ<vTAUb:s~MPjW`,ASzRw8 "^26U&JC f=͕ci L&B2I/*eb_[+ǎ"mQm$ B!9a$:5?~eȐI9V8@a~DW!rؔ=V-`7R"^KKE={C#ըe!|+C!a$VCMe2{PpDW`'dsHXO8})ځ9?rP\۩#$W,gYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxx̲B$yWh%ׯzҵ~!l>) ]̭>Xts]dXV#W:s()ZҸYJN{4jԨ-(!A(H:[O_ˉOFTep{LuXū-ѣX bj]kgYZ7zXZִF!  7]ŗXi%B @oA67j 7Dy=ۚ3<܌&\F~uZ4Pr ?x Si[Gkݦ\]lhȘ ~䳷҉єq5J2j, 4(1gT6|ǗPɵzK4yH/~'jXl6J یebvlP[ԥ13^n~ -fPЩ&,DHje!_68q/`}jT0mǥ:HOlqezoɩAM v4tL**xԦ 1,ίIpt& >,3+ g+kTT/x^;TɰI Ez{LRlX4wvQ,ȸ|tSFH6A-{)H8X(LԜWݤɅj.fYED3QַzFݰDϺjs1j/v7W~ꐨѱ U!#Fʬ[dEޏc\NPV * _VZPuI~Frf_+[*;FmlMR+W߇ING[PC()Y7y, R~uzVWtH4qEֲ[)M)C]u'#a=]rkܻA/'±Vd`7zjNQSIg[ĨޤFf֬5IK3Þ IFf>PKct:s"G v]0~љOkٷa൘{L5K#uڞ6VdgG86t7˿c=mY^cr:6nz0 B];FLKQD#=?!nu67&l}62p8y# =4O|qQ_5"MyFN :DM@>F$gLFP,f'|ݴC/[֞bbz9!mLc7kDt'93#^Q.bGG:6|֙&5&۞~#`vP{v.F '<]O&-%2l=ID9s.XZFfB4q=ݦ̈́`Nb#;,ޕ>'a!cp]|3an> b{fe'H=&fig=w@Mw nUٶ~Џ%=OTǦ܃Ql/`>m`S>!%h?i/ C`*ɽNGc0p F.+2</ wUO4}RyyQN:o;Q(h$ fg*7g9nn {Y[$6R4D36J^T_ȚHҩ=8G&~#}alПy09 qC'JNjBZMBo.COs☨^ |SJf<NMk>4O/ 6 )TŎ2@wa|X|ܠ3E0#J~"jmG:L(z63 ezuԆ}8z* C>iW4ޣ0i;hؖn"Z=2(e)|R11%>C/**ϋ3kXy@:|篦lhW`ɘbkhe.525)2Ofq MRLkv&_t\BP6ƈi} :;,1:/;Fg?=Ods R;71֏?8ݰq4sG(*YO2x) Vo