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 '- d4T ] HOL-SET_Protocol:threads=6elapsed=21.087cpu=92.052gc=2.440factor=4.377zXZִF! +Z]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxaбYYڿ 4̲DVn, ԑk6j8s)x̢`<P JP'e#O+&b~E<߃{`Ԣz>jJB2Z%ac:A6ZgK R=wkʾuEF1Wϖ\:g&*Y.v9j7[M‚z8"?r4Y3QdfC;>^:x=:"ˎ.ܯ-vߋA;71{bӽ6coBzߤYcvtI< IyF lWK:X>Pg)M.d_$ l_{Qtjp.ӱ<:/WKcmZ'NxG(їCi-Jr08CX;h߼0* ?X'4w7.'Omkb\tਨA.> Skx~m-pMs@qu RHU^$!  *H~’V2<ѥ1erwg$.:YV8LysP" ط]Mx֕)p~rbQhɵSd9oL /֙6->=0W SS նIE6 qܭW-Iu"?/bL,_H]TLt<7 +N~*v([\Xj~@):d6ځ .r|\EN# >S9йIk*ďqκ+0΋3* `$G>(|@DNz%ήf?5Pk50TTKџ 9VuNh{-}7OQB]@㣗\Jb{2.;FU;0?z~FEm4UV3egYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxT' 0ePÛ@33K1̡=Yb4\ m Q~J2>T._xګ #)1GyGWɭ*Emu+Djm&2vö鲇8!X_Zρ^^d0d..79x!D[c;$gYZ7zXZִF! e]ŗXi%@f8Wmp|G`{tki0SHSaق`4ѝUC C/ܟcSiH/~ol9gҾ`˖ݓMJ9j誤2yO#iY%tC؉s^Z JaL_HD.>~?/QKm kbTT:=k2cnG'P*8ThO2AJnl7q'=)+Y)ӥ5c7&9/ ]ޓ/TCD> [8HL֗}s+S%Fti}yN70j Ɖ Q13&o;G Y[\ݯ ˺OSQf帘w.^3oʻDcGlߺYq;^r.KRd$aQׁ_FVs侃3gBJ* qVdڕ],Fep܊qVERZЋoO,ZMa$T7zNJ{KvhtFAmk?é~MF Ale: bYg6ΛD]x4NPWzVjkz}%9[-v%]ebgj7g#POVrSoN(`Cw;?tV=rkWEr$lWɼgHn+xGg;-+!P;E2ObG{Nw'?v^i5o⫝̸GB"e&flv~ շ2KD*9 )5EozύW(,ńE]TԮ%Y8Yyi'P9~׈UN]Up^-{XQ9=9\Zq4V~07qוIͼĂp`? `TX(q̾~1Cx{NjJcD'P Y 3TrƋ`I\,XGA&iL)oQW\6w&ްI'ׅ-,pe?6!jATrM2;_o/<@B@OMa1ҩCgB$ kgYZ767f47f93d978e5fedfd069aa899124197c5807e72cca0904208fa240fb772d4d14dff23ebcd0242 8f015da9fb20bea689bd130164efacd685956ac0 25c8e78f4a89f9d7fad0c4866d60db094405bb24 - HOL-SET_Protocol