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 7= |\ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.785cpu=24.356gc=1.100factor=2.777zXZִF! 5]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒlbOltJh`_qF4OD[Dk轻 IͽL>G 6HVJ bkCZx [OYRY=U=TT렧=Lc1c/ X*ҕ{S:w92jLq6~<(9q+^j(°[d<'Df+2so9,rZ}_nv˝OXg?,R QxS4|ʿnrEȻ,_~"1F ᶫ!2X^o5fB=%KG!hFvd ɺ7ύO~|uD;8GIٚ{8w+bZ*vzX^_ I|[ACo -2džC8l,k֭ڎT䋫{:7Q0}Y.(`1ˮc/6b26=iBFESskbDvE8y,FGnh m"f$'ҮmTU̴jQ#_ '}itSd?O-n-1:L]HL`;TPgYZ99d7d9323a79517c7c16f17862c9579abe26efc6db456e2182b198adfdec654a00d5bb35f7784ab2 b9ec9d6295bf04a1d5eaa3d01cae5193bc8711a6 e74b8d18e2ee0e40531b2cde3a49dc94e114f93e e46cc64adc0d754508f480ecf9b0b85290d8ced7242cefc2a242b8ee36e19e422842a7f07d88d6d0 = HOL-Nonstandard_Analysis