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 v/ T %w]Pratt_Certificate:threads=2elapsed=22.025cpu=42.292gc=0.640factor=1.927zXZִF! 58]ŗXf1-/6vR[3 4#d{T>9zmR,u QJɘ0B0L&k.D [,""AO~ֺASmU2(<@ŀ? H"D5[[^ze0`AӵL> p((q@!3 XCS:f=dryl2wU^ o%]e1=ʈtA鈊7S76Z^uF'Cҭj;-$ċ'0 eX[p홳jiiP`1CfFr7T3fݣN݀1eS`/|#ջʱ$-d8(!kbMqV_zȲ:[cĬLZ="!KKQE-6X&7MPms ^M3bO%LnߎB^1Λ Z!u':Ԅ_PQQ Le)kQb2qO{ YҔ cžHfKTu|#1u_b\) 2ndҷ)x˴5gҖآ(]K¤f<;IОfi 7Z)hbMQO~).S4ʥҠ Wf<6k'-$n#ݻ+FYe4'yul3LZi(V≆\Hme}@MIkf#"R ;"tBeO3]czL@HUG.WLT=!afaDiQ)aUHTШdtMaeN1y|Ю-vB.~suj6C$n+6&xχ܅2,2&DRj WgYZ7zXZִF! p]ŗXi%sun|@\rlX` v#Kӆ/41#"$fbysC-(H mN¿!pjTd#ǘIL,NA~,UD9 pLz@|(!0`߷{Xu;o. 1n;\<:Zjޤ@˅F$ +M8|,}/>E5Dey³}BHP퐎"/c&:1&+aMU,vchƒd-vmz՛7M#5Ԃ6rOĤQT#G^žn,0]3f(2$  fk616H`; ޗuvO΢_>ene hiuZFg,1H*gӐ]=rğBBKlY=1G7'̯k7Yq]}t%ȅNԛ~A;|)@(ГkKV Yzw<4mp׹4&^O8]fKtW#Voci4KFH gn 61pz(gDIzU(}u<_(f\EI_ X%lU8 uϟ%0J9߆^G-(fu4?-JLxVýGJ qAJ ]ln8 U-'EKBiJe`nQ ɚ]-"?3;6T{!#wؿȎ!X39Gp!IA p5ܗ+-;#=d q kT3&yP.86 5c:msBL~2_AwyF ~‡hUeE]@X-R ̨ δgYZ2301c1cb824b006fbdb66a4d295f158152cd3b18 3e49f76c45416671dcb4d349ccb96f41d138c27d 853aa6b1c36ade2889faee412707bd981cd70a63 87a3925a58dd8ad2a034b5afb68d50f7e837f0d7 c84d2680a43d5ced39380206a1c80933c01311239711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 b62b082da1d764e713f5960b70e1b522ba49b147 eb91c7c7b7c0eab83abcc8a29e858815d9bddb4e 5f0fb365506bbe78cc8c49a5f34a4e48d2f484f25134fac40efdeb050bc9e7e9ef1f267b457a4576 / Pratt_Certificate