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/ $ %w]Pratt_Certificate:threads=2elapsed=21.934cpu=41.224gc=0.512factor=1.887zXZִF! a:]ŗXf1-/6vR[3 4#d{T>9zmR,u QJɘ0@BDIyfLn&%ЄR{O;EcfXJfPHDVwWy:Cuŭ,b'^WyecBU3@Ld;XH 4z,v!STל}4Z^7[`5 7ĵx=ݭw]=U.ТZ1(x[ o@"4-K4jgYZ7zXZִF! p]ŗXi%6uroJ-Xt,][D  N!XoK#c~Fw qh"_XV_ b`d*Ff;:g!I!M;}>L0Η .Sqp/}ѣ߆.X ~҈oRyR@&=e%'3GsFj]K rgGoMh"r0.OdzEq+b=q6N F.cAT_e2"i@`D `4WBknoe{7(IE Vz'?>þ.`,߃&36+?3`k ^[a8T(2,#eGc^H^wEB6 mJ9HDˆR-ࡰ*dPpTHhX͓zlë(ʿרe]R Ҩ!) e ~i;|( XD-d)b9<xNI^/F;+uB faQO8څ IJy KJs \¼e~_/1am p#!|G{%lB1xЪɸw5dae(࡟7g)aUX_dESϸBoz=Ѧ5v `ԩh  [;-χ-!fS._J35Di1?qA=F,6Mkj]`Q-+rd38ۡMz: oMHO8E>̅F5mXf~:#˳>)o,0A*W(#ije}]V  I4Fjt󫒞ۃ\F/ svdB4c g2a/2f'ĊༀIH=e/Z[Ĝp<%.iш]SY=dQ䒫.]' .B2>yqQa]ɎѠ݇aNZ 4)}&` 0ԝiA iMu9I!]()#_;3qU ؂akn Qrmh(z]05,? J~E!vԥ[ iV!E3V́ '`̢9^~oi @l:AĩMǸPN~ecAڈ =]3CYpו'm5&ąbtoMlSAպؾ]/X=@+d+'8=~x(y:tt^m*u fS"?wp_bdc=\54m6e~O{~}Ss񰽙pijY-+2׬aO3k9۝Tu~Zs KlgYZ2301c1cb824b006fbdb66a4d295f158152cd3b18 3e49f76c45416671dcb4d349ccb96f41d138c27d 853aa6b1c36ade2889faee412707bd981cd70a63 87a3925a58dd8ad2a034b5afb68d50f7e837f0d7 c84d2680a43d5ced39380206a1c80933c0131123e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b 86c7fd1199441702fd9498d93a1d3535f80efeef 9743b36a172e5fc26bd8771e996d5569f1687f17 4d71303fe6b32abe1ef1cc7c048ae8a585a38503d56125be0f27920c6032ced799b57b1467838e0e / Pratt_Certificate