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' T4 ] HOL-Cardinals:threads=6elapsed=6.353cpu=33.544gc=1.220factor=5.287zXZִF! _]ŗXf1-q恈<-¡$johkX2I)']8PIyHAQKh2TzZWLX&sIslTrjx`v(`7MreC{F7ZFI[TUΉqRXrt9.n$k"o:TchQ\3Џɟ[2|r$fEt> }%!9pM;M(u($9H;%ܗ.b%#sx8AKumi7[^P 1.hGГ\Y']3ږ |*W;~o5ݸ]nefԀ 0[ }7 .^*KJ8.uB涀x<Ayd[p+eZrj .[sUh2:Nsl/zJgYZ7zXZִF! ;#]ŗXiɟ1?ߟt;9BP2CZz眭5 z#mzOūqOie10[1f| ~4\ߥR]R N+BBE3JPjFu\>FHT/BR=Zn ) 4=3i0?Dlsb4(+P ƺ%e,,e9@1Zo7-DcՃZNC:ݓL=,gYZbc4827b01c7e12188c4c90ff93096f2dc5e73269b690dd9b4995811857c4fb640c8853723b58ff28 2f035b4a19bddcb32b1e2a5fd47e81076fa7fb4f ef28aa63992d38cae790ea067cfbf614ad2b6a81 ' HOL-Cardinals