SQLite format 3@ .  YYQ77Atableisabelle_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, "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  ( (U9tL S Ordinals_and_Cardinals:threads=2elapsed=0.160cpu=0.240gc=0.000factor=1.507zXZִF! q]ŗXf1-/6vR[$ l0H诈 AcR ZWJ5EGHMUN)m+k)U]L6dQGq~MQǓ`͍e֒[gYZ7zXZִF! ]]ŗXi% NJn$vġӄOB9ś{2U0]n:reB9|@OҖ}4u_h0ωJ*aa\.?}* V㰂8=k`RQI בD9:|4Z;߯,SJJ6Դ#yQ>9J0k3 ܞ3GFR[9G11y 0C fm'P0w3hʰ[N"Qr2x%3iZb)L"rΈgYZ0b71552762a86f4cc9509ec4286ac12980f770b4 739539e961f95f9c22839fd98417ffba3e077d29 821c17b742e5935dba6f50981002859c60a671f0728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 3e315ae02238ba29ff4dfa91456277ea298bcd5c 5d10a46876f0d6de665098d9b66f0e814b08d3d9 9 Ordinals_and_Cardinals