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 SS"\| w/]HOL-TLA:threads=2elapsed=2.013cpu=3.132gc=0.000factor=1.567zXZִF! ]ŗXf1-q恈&h!^J'{C. rb3kTLm  3|_fиtg_Swwq刉sPyaa;=!0Dw820]q Em6)@Jb,k0`s~Rw,J+эOP $j`8񿯡:xLȆH:|?ͷ NXdHb[0,:1?`%E/IJflJ)QLJrҁ:: sbHT4gYZ7zXZִF! q]ŗXi%B[وuHzfo7^}#vetQr:ej3IAn;HT:a 3ʋ͏ȸVk!OD؄3vwb+9huzia:`u3*D㩠MsOw<_ 'K F X \.#TȪpHW b8_M]g*fO8%.t+Boק7B/4 mr0I趉c̓*WU00LTWӞ˞twz)#9:?Mo@a>,"BWWz"0J$(57{:WO^ NuRP e__]/au_ eOpg5Ʋi`SigYZ3cbe8f730d07ae9d2aa6d138c6a15a8289207d97 6352ed98074901473c7b4874a38fc3eca1da32cd 789fe8f172cce808830bc78b137ccb130574da8d 86725802d66c3a60d906aee4620517b27c8dbee9 d229d0337d2f53f6fd206279a2f30e462eae64df e1434cbf7c0481841376fced7edaa3be024aa89a0dae525efa6f84ecf34af93ff7cba31c2592ec0d 8169f475732fbdf137107131aba0d9b3f4e56903822c440d00c10e4434fb002f8143858d81590b83