SQLite format 3 @ U - l l B77#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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info q q ?5,t; HOL-Nominal-Examples:threads=2elapsed=990.451cpu=1612.840gc=123.872factor=1.637zXZ ִF ! 胼 5 HOL-Nominal-Examples ] ŗXf1-q恈ބԍW_8FW'<㺊kP #CD/B6bKIWbTZŞ|`i(k.kڱ^4MҴUK=d¦v8z8`L!s[OL_SCѩ{خ_*fݵ/2jqՏ6"}WszŻ}@R/_ᨖZ'sj D} w(NOg`[#K%_RV@cc4,fcѧ6q 룶=AŵmisaQ6zZzʁVܡgMAzF6SZwIFDDPÑZQ^rSyБ5EIE-[D6"A,g~nf1=˟2u 1?[vη&[K Y*fJɘX8S+|&ȢjQvTgN%7ߞ-el Nkqh2?CO2r i