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 FF7= $Td ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.961cpu=22.680gc=0.900factor=2.857zXZִF! ~ ]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒm}*D]o4&ҼlkҼ~dscL.VDd9W\X.DީTKf4KGQae^IsOUig>a zc'9!] JQY9ȃrnanapwvbCT6椒f~ r∵ZO`5XPj %ngYZ7zXZִF! a]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>8^A_Jf tȘoMb^罵=6=Y $ }A?$YZ2Y!sgG($1jx ǭ8gcQcu>SP-lףkM )B:nؖ闙DWeFi|Ut,_yveM ^5N (<b7+"#JVKщf.,fH3}UL*jWC]{k|f^9h D;Pxn7_5Q) QgYZ7zXZִF! %)]ŗXi%9(PWSclrBBz dk1 lPyܿ7Ko:xpCʵD2MDbQN3&mѕ}$ru3%@~c<&;8;u,?I6=d jwyw*JC>3m~m#< ;\/`Q[-9 *9=^2 c GED2}aivM#-R̀eh72cSSyu7ca^q˪ij#++^sJaUd}H%)KY&<ۑtF\m-2NZIc]aHDd;Ig^%x/^@$Rq !qj0J@dY}w=xt a0[iӉ⠑\6;Q{Yu {-iZo>~"mhR[B.3ew){P[7سLDuxd~P[[}KjBvgYZ5b195e9dd6efee2e63c7fc5d2a5ee81055188cc25bc7b8609748a10319dc3892a3dee59fdc4e228c 8d4321ea3a63542efcc2eeabd02c563b82b91bad d7bc99ae45fca7aba1a9b28b0f37cf0a9d0057e7 98cfe7110fadc02510d906757053b6e09f4ab53273f024557f82598fae48ef30746b650acdb6e0cb = HOL-Nonstandard_Analysis