SQLite format 3@ . YYQ77Atableisabelle_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, "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 g 4D ]/]HOL-Word:threads=6elapsed=8.703cpu=40.060gc=1.456factor=4.607zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNA'EU`5 %α;x@Н.oV ?{\"I'"C$|P2z̳Z}<Әon1}"ePܠW`M\iOΠ PHJާyV,qrh9O =cBhT!ԇ+O5)TdU{zH 7laغY.dNR.MeCixdYg6)v*4w2rXS= fl4~DFuEnSLU?@APŲ:ȣcjȗagӾ=1\OI̪ނ)~g.H(tla!|j^(smzU إhVE@g#rZȱ؛sh̵l-adZS6Nb02ѳ.{g7HZlaVLffi$_t;0䖞 ܓ'kQ%䒗C( E2a` Qp?b-Aց%xF1B'O~NQO"uiuwƳMsvɮ;1RJ\-бf$%5t~gYZ7zXZִF! *q]ŗXi%6Hc&_WQ@L\wOVǦ b>yD%NHIok6biLh>%Z)PVCzB-xX5 su&tT 9 '}8f}$[݈\ӴqmqEHg'!_[IFcа@VTnϱgYZe8a822b3cae2fe9cb7c83fd02fcc4bad232784d6bf6df4dcb2f17dd318b7b5b00e238c73d2e97120 274a5428ce8f72c45aac0c20e4842031bace28fc115b00db94d1dbd9beddba9e992796fe8a31e91f   HOL-Word