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 \-Dt S% RIPEMD-160-SPARK:threads=2elapsed=1.165cpu=1.256gc=0.000factor=1.087zXZ - RIPEMD-160-SPARKF! h^]ŗXf1-/6vR[N9ʁ@;._IVn,^?*:վ-nzjjk?~އ zhWwlu#mzi8}YZ7zXZִF! ]ŗXi%DQ:(R1q-@wZe kۭb\ƗqA5u{=PXG^5ewC_yMnÛU7U'/هS_W5LױK 6p'"q'Dt?I@F{RɡrAK-NǨ& Ek`bgd {pjd*YKԘoPD$٢2d>urIB'ƻrF"=ehǟ6V<p)rwGw ɀvH@e_F-ܐt {crqN̥D, sSeBfR)qUIEAV؞Dr#,p8&6dkt_x: 放$\r92 8^_gYZ032f91905f35339d42804f02844f44487e2e5dc2 13995a6a9e7098d294b7c9fbbfb8466e3adfb9d7 9f5ef76d0af853e976c57953965d1fdf7360dd28 bd003e0bd6ee5ec5d85d899e10916a7b1099deb67df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 43a0916975fd8fd7a39f263ad02cb82da7f42160 94a7d7aaf6547036b40a4243c72a0ebccc812e9b 1e97104bcd3560d03dddd89987798ebb18a6fc53