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 t5 l$ ]S Lam-ml-Normalization:threads=2elapsed=10.016cpu=16.184gc=0.940factor=1.627zXZִF! -]ŗXf1-/6vRZUT,}"67}F%,]!ͿxLРxGۭ@x츘 &t#MԢX-nQV Wxrz LZr ˄JAvZOkدUxZgwAr$ A%:f,RNʡOTu6 ru4T,KRP|؅K E*+ݷ)/S~@me4K2-Uw#^7$h~:=RX̆,&w/ ]WaI hK >a7pgN[Z/09+&E0k20qcC鱬d%ֶ.sR  F&z; Z&/.ueRƉ $73RJ EKoֱgYZ81433f892cba7bcd14667f4017dc041b8b669b5c79d8e835726df87c7b301a8f091eddccadfabbca a29a84bba8aa29c804c447ecf6bc83360b3be33c 402ad8d10c053d7ab99109311f4289da20bbcf70 fd66c8cd4c3172080c0c06c3191e306809c7e376 5 Lam-ml-Normalization