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 ss / \T\ ]% Pratt_Certificate:threads=2elapsed=20.194cpu=39.232gc=0.704factor=1.947zXZִF! %]ŗXf[& Z*R =)`C7P^Ɋ>o$GA z:K1Hni=t.| dj+QJ/. ii ^Mx֫´Yk|EYhGW8+l(\^0Τ4=xnG֧ȝt}{쮜gVsbr8yFdȭz.+Gw6V!$Iޗ. ^1% 5?,{[ bJI?hU@|+#uNhgYZ7zXZִF! b]ŗXiɟIPDOB`7":"=ezcׯq 9fKC,rW|jT7T5!L(wl>)Qze~wѱgYZ7zXZִF! q{]ŗXi%>gNbjGk '<[7QO@oa ㉬9,Co]="խ :QTs@(nD9EbǨ g} ')G"oe4XP@QRHg/v2,=V6/NbW h+R- xoJ7H7g1ͣOQA WP#&OeȒFqB au5mL[pq6O"a vulJrٜ¹em^|$Jnd[u?#Rj9>]PLI2Ո0lKa1Q ñ 6̌{tgChX(YI} \`E_ſd@MSStoGF1 2&6S6=cZ*ۼfbP+zk^˰ [kf c.5e#M!T_BΕPUwD\ ,|,>Kq+'k0Eh 9Sz@ :(y3v^gŲRDs;"}I/kWnm]án'{'P;z-xQ2%Na =Kl뀞eM'΢nA_,^i/DaSA7Gڢ/w![/#;W\LJNG/GñRY?;$Wn@"IYz)McH;ƞ)lXA @9aKSR!5rѿ>'0 @ 58fV5qD."oPr#Z=]4%L郟RuSS]Kz<л){1~gXU~Hd{>iC'|]?Fȇα:8h)@5 xK>E/Cr#R=&;Ϯyv4XiIO&,²#A|bAIr4W|ܬ ϱv 2Bh3b5/K$NRM@nJls9{j[ChWz+95 ځGDo rnM "c͂V>ω#|Yy6н\[\ ,텫f 7 qإ!6q/WeBƐʱw?)@vsbK *gYZf8c8f6a9fb5d0ce2275599305211fb68cdb1494f0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 47f3e547c75db7767e004a4b015e520c4e949d73 f8d9964663e20ec65b7acd393e357a95264709af d549bcb0b6bbf77ed24ea151aea6d5e37ff26ba3 / Pratt_Certificate