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  P P-t|| ]% Lehmer:threads=2elapsed=1.122cpu=2.068gc=0.000factor=1.847zXZִF! s]ŗXf1-/6vRZ=\\ ańǜZL%$wIπ4sG /[ c&0a.сLAZD1JM.kgYZ7zXZִF! A;]ŗXiɟIPDOB`7"DxHX9\jP #rpd@yjgWB^M}YZ7zXZִF! ]ŗXi%92xNZ 4:vu0pƹNŰ 2vֻhK8gq1ći !PJ=>*PEB9 D'Kbai(`ԥd9;mWKi=K%69s;+\nqU^fSSZ(\.ks~аfhU߈ C2^1a/rFvˢZHb&'s`15LOZnM=C{>Exa \7m 0+KkUɅ ]IKw ǹ|H=nkk}mu=vPYmIު1Mյ$"誖_dwUNƒc~ l Nk}oZ:trFy4Œn0$2K]/|§,ܷ K&Doliʐ9+<0rq)f;P2gYZ5382449309836004688e33ab18992dc7f11e63150dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a 607b584e29337f48da7c2b7111a6e1bd83507c61 26fda83fb54b04a8509464a2469873c45a8ea65c cbaecea560ce2bdc6403e4c5ec667b0e900bc740   Lehmer