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 7' \ ] HOL-Cardinals:threads=6elapsed=6.376cpu=33.624gc=1.348factor=5.277zXZִF! ]ŗXf1-q恈<-¡$johkX2I)']8PIz w2N2|mҞn|ZQc 3 AגrzXL֮0 i@Sb+t0@wR L߽yIGaֺF !;5aY]/T8ĥcBcCz3P%dmXS#gL)lLD E?9Ns9KgYZ7zXZִF! ;%]ŗXiɟ1?ߟt;9BP2CZz眭5 z c72 ?(g̯XC&| ~a\݋.dJ}CeEݫ2_N)9yZʻϦ$@5g"icIIPF s,Ȇ~=EA!'jwg0糓EWZ w>\^=>LjLb8x,_JqZ5M3h֬QOh\je*V=ëms I֣L6:gYZ7zXZִF! H]ŗXi%;`jSI#40\3!>O*>Udu'y XY&:DߐHη#Vr( y~,=;z"yk=9#iucjdk5#Ye_Qh0 v$0t6'Ў8@:kn' OŸWwpk$[쨯$X%s]0tN;yCb< nnXh慛sUzOԄdR T=oXdJjp p k"~t.vFdV;nBjrh>Na,A0̪ LX?mF@\=Ȋ^gYZ8ebdd0f8bfa512755de0302ebdaeb4bf36b980c576eaaa26d5dc8b218d0a611295d4ee3d6e6f203f eee62ea59121ed3e50df436f618922c8776e9ecf 975c8199fc5426d94aa9be585263124fdea5a8b4 ' HOL-Cardinals