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 3'
| 굶sZJ9,~Wmf|9%{MP0}ę9$Oo]DJ#|x{䢆%R׀c^k➣UI5Wr$a #~Ĺ~ [5w' .^rem_v$QixpQuI1: ͡iHԬQaf0$j6^ky&4%2HT_^ӻCժu!F?D%0[_ LbYxfˈĿ ˀ׉l5״XSUД*#BoĄ=ԺB zvHV'_̇_a.uhrZѝ-8dvOV6mcDt?ZW߾50Z`j$.]ĠgYZ7zXZִF! ;*]ŗXiɟ1?ߟt;9BP2CZz眭5 zvm!4hmuzcH~GCVIƗ6*$ kbb,fB/ )?_ʜ <^aA[#J/E[ҹKF;ZH=o۸E6ȵΩKf⩅^Ǧc364g x2bZ(D=L0F` 1DpˊGr Vłgn*v A)9Tړ'gYZ7zXZִF! #t]ŗXi%;GSbT:T,wNtQ@eaUz8 :NTD@ kkDD9M[~T-~ O%>f;9!ky$#]ćb|[BW8=jq6sHhċ-h'ts]ďa0Ur+SG#;C;B 0S' =˳1cֆ?+j#~wv]6 <wL/cܔ&1BtzTJGqiiFA!IƑb&,헇oU;:Jhmxןw:DL49mh/r+6!T ^9ocR jYe Lhiy[s'6u7WO$5ueY|ե[ߙVj*2]W0*=JB 7-p*y( MeY:irew=,{2v2)VmGg%$\֗y sFju|_[0 " :)(ewK.4WFݥ5NJN xq2"I~T5*ZQ5̔KKBۮ[ 6jhGyܬ+Z-QdE/ $V Jc"萛,eY:ӟSPҦHImKϵfx職vzg#^CGD" '^lIjNM&ئET,TFޜ~ɑo-3 Di_Z~^J X<8)ROaȷ*)- aZrlZVDP s 6h:8_ N8%z`lRF]ϱgYZ384a494a34032a80924154113c5dafacf7b01ee3bbfa36403cf9764db93df21a36477abcced74de8 08d053295dd87951969cb4a9512b84a47f7a7d60 bc2d41c2a7659e2abc87de08a6fb06c4be4d38b4 ' HOL-Cardinals