SQLite format 3@ . BBh77otableisabelle_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  ' 4T\ ]S Zeta_Function:threads=2elapsed=12.990cpu=18.372gc=0.404factor=1.417zXZִF! ]ŗXf1-/6vRZkBO&+'/vҘv;,^&5ZBbTc9ߢ#Ge9,:Vb6sNUU'=4Qojۇ&!1drJ{sܞ8[ ZMu`g9701Ws6!RzR$0XHvPlCb .+YO"֍BڑdB‹ 9zs8B@b[5>V#l4T։:ѿMiԟfycܖ>Gxɒ= .%n[A_4a~P64~ahUkȁ9=m!MPqG^.}Ŀz)4ʳD$l!5C܇6#Jq2?CdW,'9X (Ʌ@~o^t~v(zf;`hnHn !o:ٿ>MP?>ļNiw'48\L~RxTj90^U̥tOTjXKͽ۳q(r̞ 5HM7d.лKmj4oz@=X|VkH>!S"BM|Oz.F{"MGEyg8kSS{@Y <8ӂGrLQy;zժ`JH] (TV?mSnms1wWS-؞ ?D 'jI)ei;35Y1cj38!2O x|]f :۪QZJK+aP 汷MvsЫpљJ| MVA15K :D %K]e5aՃ!ldg !VD.ppՓt;}]Sم,znSYPʧAԖ좥~:g21Z [fC &hB=6(n{k1_u@-Dܔ;yVb%q ; ags*G֟! ĚAgYZ5da53e8300d679e300fd78e5cbbe7143c721db8802339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 5d4ca6d7330bbafb70358c8735ac13f48c2b9887 2b74afcd83f23b0bfbe4843b30d9ded3b32fe384 ' Zeta_Function