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 **SLD w/ Main:threads=2elapsed=1.137cpu=1.208gc=0.000factor=1.067zXZִF! ^]ŗXf1-߉k3TԤM2G%f\>X| N0ƙ}t`Xq.D - yv<- z)7.gYZ7zXZִF! \]ŗXi%>)!iךĉ|*폵&gd8Rmˤ+ZcOP}M*{jq)ҥکÙLI_FN,O.aC? UƭB ~ [Y%ėAecVTrkC l .gRP}X!AķO1yP)UimePp|¦v_y!KΒp\sՌ"'1H7GxS;]jHGn 09d9l/& Oi~LHS\\۟t#+\%YQP) .b3.Г5𔬶K9{9/ ٹgYZ1930c3b7c20d9797c64aa918366ea5bc9f263901 25592e73f78ab062e788f19d74afc791c36ab221 6df45adb981e08f68a827206bb1b05ddbd152746 8f194db846e67a7e87b25a27fa8ba1259c4af82d a634d2977750efd14daaf8018feb1fdee3310b68 fae6d227bb2f8ebf8204ffbe9d8e7844ce87ced03269756b47a6a9653987fc2e45e2efe5ac3c9347 235bf9bd90cd9323492bca5d081941b77446f18b  Main