SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 WW&/ dl %w]Pratt_Certificate:threads=2elapsed=21.403cpu=40.844gc=0.600factor=1.917zXZִF! "*]ŗXf1-/6vR[3 4#d{T>9zmR,u QJɘ0B E+\{9A&(']D6;2_ jfIvK+wmLBqc\r4wy Ad]>'3LW %SL:@:>=Qhss⽚jt tʮZFSC,ἊJl}&4wv{]x+)z!p5As86Pz^)^gpX>gYZ7zXZִF! l]ŗXi%6wFvi!4g(FRf8F>pgc U5>O(>B*7]o@Yg fXDQrI8@71ڠhO|x7tf6İَWvԻL?3Ol^{B[Śz,߼ sE,{q;,~Fp+8  ‰px:u ȣRSu@h岂~PF#/gJ`@OC'*_Q7ߥѦ4caò>Ǹ:ቝ3;@{S,Z}C:hXPKSC𙄜ں;jLd//98K(H&.7V^7VݝAZ"<XOg}9M8oHSq{gk)@ ۛ8-Y3^p6MsS=mLph?*<;ȟ<͐KAͳ3xI)U*;>E[8!X‡Nyl>s& <󱚿 .͐QC六M18C9;K-,_RR%&U&Tn?h0eqe~_"ەP OUjY(:ArfM,,$YOώ>E} <[K,IeB5gS{BEǠt5,sa"K`Vrir5A 0gYZ2301c1cb824b006fbdb66a4d295f158152cd3b18 3e49f76c45416671dcb4d349ccb96f41d138c27d 853aa6b1c36ade2889faee412707bd981cd70a63 87a3925a58dd8ad2a034b5afb68d50f7e837f0d7 c84d2680a43d5ced39380206a1c80933c0131123554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a a52cca36c501e454ac8d14ffec7d171d1797787a 53bcce29f11bda0dc2e3c838c6b02e9af38c28dd d34d45e580618832620b345b6f48af27bf51977234e1d64aeccebef8234eacc6b68f2d4150ad7629 / Pratt_Certificate