SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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  # t  ]]HOL-Nominal:threads=2elapsed=7.632cpu=13.632gc=0.740factor=1.797zXZִF! /]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯`ơhoM19Ujedo J\KjDPM%U5nI :Dk6BOvԓ:S=c}h͢ĉU 1 sn0fMɂ_)55TB5 9',i%Cs΀}b2%}=Ӥ)'&H ZgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ dĢ78C'v_ԝ3fIo:sbJG-`I'{J}YZ7zXZִF! %O]ŗXi%;>ZNa껔L\&,?wUyB %=*:Jb M(s!{ʌ:o­@2K>H5IJ/)9'H.!B }2>E"l4].CC-"]ӯquw0'U:[VKE2Ϗ>a~<]bwJuB&p\nHinnEʙ05I)Yv)JL` c!ˇzɕ:l xG 0ɛm@? n4ծ5?`XRt$|L|&s)*Cuyƿ1O A_D^[ZȐSo9͓uf;gknlƗ/ͱG ",I<ټ]r+h~{^O!aJ`_ww#=Nmyx}ٰX9J 0gYZb99434e436b2f056120c27a61b5fc73b409e70ffec4f72521e1e679fd5cff6fa91e397c5873c6432 dc95e50d9809fb8249d7a6a630b1f18cc52d769d ec788b2cd5e0544cb20063a87273ee6a4edfccd30fdcebe8ecf15577f198708715e69cd2c10babc0 # HOL-Nominal