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 K' 4T4 ] HOL-Cardinals:threads=6elapsed=6.386cpu=33.612gc=1.232factor=5.267zXZִF! ]ŗXf1-q恈<-¡$johkX2I)']8PIz w2N2|mҞn|ZQBdOdά(j7/nP1 6\?Lod&dq` d)iϺ`E4frl,8XE' w-y _2(ydO3 ޫlcTXQ_,| 3'h@k#=V;OJG]vAWlBǑl%W}2{+=!1Ue[%Szoc-_+;z*ZtĘ|?5%zB44.ҝ'p:-0dЀhZkq}U^pe7"H(14{=[| 61,41Op"n}TMS>FpY5FG{ [&MqCZ&#!, /z(ڬ @QeQirٛf:!'}&xlv"ɋѴvO)۸%pYs4pٙε=N˟VV.?KFǐBdUv#' 6BnC3_ j|Ю75ǭUPݠ$qɘ_j}©Yp=cbA@f G_ ZٗZS&ķ_7`p+gxkqR= ;9Pӌ`0~&)JG]9]|4fG~0k5(\Dw= [M&Er.vUVDr_tG%?"eg`FHQ\v;TT=nLgYZdc359ef2e1acec4d87bda51cae20df7df055ddf38fad6a4949c9835d07cc1dcd7a18516b5d86c9a3 26287f7258648103b1684486e4620d0d4bfc2934 ab3cb2ed7f63b936fa49e464dc4e11c5fa3dc928 ' HOL-Cardinals