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 <' %w b|ݲYt.&zF,}A*|8c'gp\]H"?>b^yE9&RVCv7ҬChkf:$I?E8wn] hPM/7O5}nEiI^‹DjLF>N(8VJYgA]ڊ8KOD.񐁦ort2B&>]5'n+OwFVhDڠYMڭq̥TJF*ܪCD*~ g:"-p[-b{o66[ } (h ΋ے#! gEs;4@k%.ngYZ7zXZִF! ;]ŗXiɟ1?ߟt;9BP2CZz眭5 z o$|wv=CR?CĶHŜ%aE<+)%=y~A Xv59yڙ`2H oYtm=hxQ44 PA}Ldey"] |KUh RJ$ ޥ,P`uhBc W=)wѮ~uW+(!>3urqm*,(yD vLƈjO|;I5V=}ۛK|֓Fjz [mv 7uZeVɫCtxnNesD,YsuwP*ײFp:{\C幖DEHFG#3LF5#H楄;!OQE<4ъ Z{Tv/>7Zu֞Z )$Bl%NqŴdXl-ti @= .SPvw2k̆(j/H׸}$n>VNyՠزʝ>6gSI4c?0|)?Io :C2R6C` 6CJiP%÷=[yVB2_68aS@SEw5zJUψ~:-R|qmK@zKYa 7G25O [֡?-nj=m&t}~}4QX+κ>Ϗ Ls<5/ ,_ТQ[ͣz bר8tU.1Oc>TF>H"Kmnd zkѧ^Ə1awSpiI]b SVmaze=MM99~f5(J953 &ڞn7+ߵyv3?-11`1|I~谤GYF7 a&ڂ[k4a W*DsOk 8qCYB%bU9*3bfOW\_bɺڑ*%Vq>tFVYޕ$ O)B)#ϴMU2ogZ3OX+ Xt0L+-D1`oDn澛eufY8ۖE+v*~F!3o$W2 :qcWDS ;oeu|cUsm~A:e{iݷ!,d.c-*G~vgO2j3]w䤢^C 72wg` $Qm1QeimTocija >%lj8ܯjRF֚S-\qGI&s(KY?k3}i,zuJ%+AA pe"@>"ń0Ώ 70]Gg)! ga&I>o?7'kuW2;^fA B%T?4X6M xֱgYZ0954f04e96b955fde4079b1d905bd9b96c2847a331bf4bac648c51f49408130bf9489829be3fa993 35508bc2877195b4acaa6a24645b77282ba20bd1 335fd30c7bba826813aac0fb24e7ebb1383cdf29 ' HOL-Cardinals