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 ))T9tL S Ordinals_and_Cardinals:threads=2elapsed=0.149cpu=0.224gc=0.000factor=1.507zXZִF! q]ŗXf1-/6vR[$ l0H诈 AcR ZWJ5EGHMUN)m+k)U]L6dQGq~MOR /ZџғMgYZ7zXZִF! `]ŗXi%S Cbq~1ݦq@OdBwr~v>[{DB‡}ߕU·"+25LV[UK eZ5qGGZIPq`ә-PW'P5HD^`=&lgZ{R$;}*Յ185eT3V#E8p ǤWU!OnL|0K)-AݤKrEF}}~: 0JÌ;E i(X>1j^D"X y^T2C!{҈0wZ`Lݢs^n]L\gYZ0b71552762a86f4cc9509ec4286ac12980f770b4 739539e961f95f9c22839fd98417ffba3e077d29 821c17b742e5935dba6f50981002859c60a671f080f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c c42b7d504bc377abadb638f2fdb831b42035ae97 9 Ordinals_and_Cardinals