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  x x/ D$l ]S Old_Datatype_Show:threads=2elapsed=10.372cpu=11.956gc=0.396factor=1.157zXZִF! $]ŗXf1-/6vR[]u^O0rv/=J&q)s"[vK1>|FmFR{}iu &ߞ h?|f"Á^ɂ7|X?+@KA`i%~DM3vd]^]Kܔa5W:A&I,ʿ?}d濉?0@k@ń qP.t ڮaoHϱgYZ7zXZִF! X]ŗXiɟA-9ln=ic``CTslLxͻevg@VFLSaן^5}1Bqfbbief=x3`: jkf|],RtSrhXͺ* +Kom f7ojdQ .FEekQɃ05@J`.ߜ:Qix8/M~WEb0(+LS=7~6Q"9Ӳlϲ4WZH#+&Z.B3^w@|@,i臭/Ӽ9_Xg7ɓՉcn-WATb)Gjktݚl'#Uޞ$/8:` ![r2;؆y*Y÷I3[xR34h7 H:H|ȼ|Pe %0s0돾f@$ޮaY788+|+Qt%JUra\b;?ĊylajoQs5uȊ9 US #1b9lz#-Ji Thn xTLOG,2g*{ٞ_)8pT~<@l^'|pg}h v<+,oOYܻ{)qm?i1r2b<^[9?tJ%qY{}B^OnD^F7RCG8^3/D-fԇNLomQu+ ]#H\3gGǟMJV{TVT"7m &µym_#ܖ?ܙ6LCO"ڻpaM2gYZe7d6a403316aa40140a40c664aab33d8c6c9bf0c620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 b289b2d35e21bab3230d78ec88be7bd1d162c47f aa0c00cdcfcd455a8eb83b5e29701dd066342bbc / Old_Datatype_Show