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 5eO&JדĿb̛+[;"ezNg"C,tc#BR#蘫.I:DqDZgYZ7zXZִF! n]ŗXi%QrnwL&ѿ}"S'ƳS/G;6uڽ#,Gp3 S*5x2F#Skը8:3B6w{.g: gţUzHz ^ǹq뾃 ǒw%dQa.aHM'k9^cZz=Ef1`'N'~ u(΍vY%P<]Hz:*=L3-ZĀ$W/(0Vs uVZ&XBǰw>o+!v| NfuC=ynv](b"YYW<ŊvȲ ănӌZ?v}K{ ٷ[I~w