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 zz' lTl ] HOL-Cardinals:threads=6elapsed=6.860cpu=35.848gc=1.424factor=5.237zXZִF! t/]ŗXf1-q恈<-¡$johkX2I)']8PIzA F̧FAA=JDKKnk,!I_7ù;]YfٷYJ]GXobMe, Qudqzm.z:Xt%Ee<14vMϗYR$lo@tb$$Q8k<_Bl*ƄA*KU(A)y>ӾP=\6:$ÔñgYZ7zXZִF! ;$]ŗXiɟ1?ߟt;9BP2CZz眭5 z @m!4h!5 狣?12:Oŏ:7/G:õ̻wnsfMQȼj $ٴ[la5`:N.GJ_]G1@&'^z[Y` |ޛ}7‹ùl`}0h1HS:dV5.e|d.Beop2K",١=Z V2x梂L!"7netHҕ; CB;5]9gYZ7zXZִF! !"o]ŗXi%96)Կ۬z߆/`ߨ|yKJ"Jt &V쬎)>K) BBS'ԊTZFҲJ S"8?KBIë0ߧy_r{!5ND[=P_rORM\T4}R=>Ei(ȁom@6n͚eZ𳳔y>GUEP %>F0>3PܝH0G3c-f+64 3xc#玬[4á.6Oцȑ3Ac>7K_h[M-h p[j.=í֢:mV"N8e£8Qxvelf:-mr&4\Z7ze]|ᛢqքqqLA4ןunj4DK fmw@$P=0aӚ\pĚ,<҈3JhPnR[>;uwuH33nպI? k>@?P qy ̳*xE.C#V Ld}f,SaS"._qXU[˺SJJܲ?Rf?3E ~~猶sm.e3B)gYZ0471e1d4b54c56ea45bf5dfeeb1696e635b9d73d2e856cdbc8976d5457a0edc209f4bdbd9f5500c1 dca18b1724a67012412f5a3a93399814c4427184 b769adbc3df07dcd5b16efd671cea4c743e929b6 ' HOL-Cardinals