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 pp    ]S]HOL-ODE:threads=2elapsed=0.124cpu=0.128gc=0.000factor=1.037zXZִF! C]ŗXi%Heł+KneiF`qCƀ&vU.}?l)PǺIZ֫`-^@>b/5͒YUJ¢gOkҞĒ>ذ7=D j’ZϘ E n)B4QyV!T6>VE4A]A3BVN3v#=>Cr9vOȹ6n[K3ݼűgYZ56dea84255ee1e1750382080a1960e28d7876fd38c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 42e138dd2055b0a1db4a1f3a058a8966ebf86487 5e6a1bf70ee112f0e23ceb2e0aafb9f9e788c7a136846fb470893fa98b17b3ef4bfd5738a4fa66d7   HOL-ODE