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 ccLl w/]HOL-TLA:threads=2elapsed=2.071cpu=3.208gc=0.000factor=1.557zXZִF! ]ŗXf1-q恈&h!^J'{C. rb3kTLm  3|_fиtsnw<%{I"rL_]VPQ;1MhϺ I Ks*䔛>?"5ńcS@8oL^m@vrVx''ޏ(FJ>`_\/~m-īA F~ +vd8MЙMm+6v`Mnwibc&㐇}Ǎ %Dž;:Y#tغGV4S`>y 2%u`Qڶ~(8P֍yΠZIngYZ3cbe8f730d07ae9d2aa6d138c6a15a8289207d97 4ce7a76320d44a186085073e08b3e2cfe155fa87 6352ed98074901473c7b4874a38fc3eca1da32cd 86725802d66c3a60d906aee4620517b27c8dbee9 d229d0337d2f53f6fd206279a2f30e462eae64df e1434cbf7c0481841376fced7edaa3be024aa89a1d303aa48c02fbfb8fe205c90ee243804756e6a6 3e7d2e5aa099435bba6e4e30f924c9df17b4a54b8dfeb2362f33ca8f617528d62722fe465c48da0a