SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 JJ39t\  Ordinals_and_Cardinals:threads=2elapsed=0.138cpu=0.204gc=0.000factor=1.487zXZִF! q]ŗXf1-/6vR[$ l0H诈 AcR ZWJ5EGHMUN)m+k)U]L6dQGq~ML&X NņgYZ7zXZִF! f]ŗXi%DQ'/Bj(?B e#pnG`Fz_!DO7ʂȫcs.ŻŞyچͯAde³.J[o{ynF).a{UhG}♟h/ii\%C/Ϻ~Ugml#vˊ$ lKam41T#Uɶe`:}0TȽ?)Y/pC(bQHWݵgYZ0b71552762a86f4cc9509ec4286ac12980f770b4 739539e961f95f9c22839fd98417ffba3e077d29 821c17b742e5935dba6f50981002859c60a671f07df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 0c10dedbbf5fabac4b95891cee40c79477b5fb02 9 Ordinals_and_Cardinals