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 NN'dL w/ HOL-IMPP:threads=2elapsed=4.627cpu=7.764gc=0.188factor=1.687zXZִF! d+]ŗXf1-q恈@"aiє4$K4ͫ* eAt 2ogckn%gD>}jCNdsy)56 eOeyDK5`F?*=|\e_P SOLC;)x 4߮їH}e⤘'D8 i'C69B"!Nwlj̤G]0Β,NP4 ¸0F2jTРKjf=+*03-.]?[s%H5pk'.zA*{i{4sFTg   HOL-IMPP$'gYZ7zXZִF! >^]ŗXi%B\\t++0gA'cL1b\RpDd(>AS$Wݰp5y!ʧ^G*}v R3ͬނ_3Ps@Po5&l K')7\E{mYpIViZ},1M?o?EQrۑ;`9i.12C̠TQT qr*|Da-DpQ1 16vj /N+rT~;''̭+~[RfS1*Ra{:j|ހ6/lKǵG