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 ++R/ l< %w]Pratt_Certificate:threads=2elapsed=22.211cpu=41.756gc=0.504factor=1.887zXZִF! -]ŗXf1-/6vR[3 4#d{T>9zmR,u QJɘ0Bl!J,CB!U31MҨL+z` 4{dnPڭl|3 uk> *ޓك,~̆ζݵĕثvj f%ckm&Ue6"-- 2$2ʙ]dP;$r=qzkAՉ pY,'8>kiGzL}C [8["|x("GBS]KRs($gYZ7zXZִF! p]ŗXi%6Q Q}|RrpS O12OXZZfZ:@,u}"]Ll0ψ3(Ċ;@"CqVo!Шqq? 9{>TJ<%*KEj qwdcp#v>%K2(|V/0=rKܵ$D*6Y<FiX#-W8a=/pgLyA;-j}O8Щ`?3za=6Agbc6۔ґ3pEtryC6`f!\RQNrtM<íRL }$vl ac 7nVr #Av\~Du  s]Ol޻Ado.=LZEgǪHX X-oCy*)U="ɒ^>í@mkc6wOCquJ-PUaT1лS^hPAps ؏@>)(Gx.)A97Ԧ Zf[%@] pʰrZʿ0S]c;u]\dm,C!q`p#r~NMc8h|.$k|g3ّ*c oToxUla!vpc˷{qd;B̑N6kV 8a RaYEV [ >Fj k.&[2[QU )̅|S+?h r.v' |yk`8x򽵌qp̍+XV<[ophuQ<}ׄrAX~{&&3 $TA LOZ *~0=cn#s5zjZ'H1;:މI4$kMAeཱི9X*-:]_4Gz>Ӏ.3紼ϗpiZԣ{\;v4~L:I*tH2kltQf .&slnzl9.џ#ϫ,pc*a~8 oaG1N.8+Û{|#8_\ L,Ӣ9꯿ˉP:Qvy$j?:5eu.4v_;r i;# 0gYZ2301c1cb824b006fbdb66a4d295f158152cd3b18 3e49f76c45416671dcb4d349ccb96f41d138c27d 853aa6b1c36ade2889faee412707bd981cd70a63 87a3925a58dd8ad2a034b5afb68d50f7e837f0d7 c84d2680a43d5ced39380206a1c80933c0131123e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 e6f699f9602302a36e4385981d2a9148d31678b2 2ab50f6aa0036cbf2405e3e4b145ba8df0a9bb89 73cea1aec8f0656b48453216579bea7cd27afb33 7040f7f15bd9a1e87d2c23a688b4f204529a65b381721eba801fd945c23059c929f8f19377aff7d2 / Pratt_Certificate