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 n/4T / HOL-Types_To_Sets:threads=2elapsed=0.919cpu=1.488gc=0.000factor=1.627zXZִF! ]ŗXf1-q恈'+]&e}0mz_V;vfbvaKˡ?n?S.!]weS Iv"u9M  / HOL-Types_To_Sets -M,buzXF 'LBN#9\B0ߌ~^6k\VbHodAx=x?Б(5|LjH$H{|?\2~ZHZ! 1ϭv%΀X$ЬO -gYZ7zXZִF! d]ŗXi%CkTxB }֫oH40S㭴rƤ!'R,E dGs6SSQ47(dܛ=VwE# Lo_ǟ ;YdxIDߍp.pڒU3h[. 2EzlA$%x