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   h+tl ] MuchAdoAboutTwo:threads=2elapsed=5.199cpu=8.252gc=0.208factor=1.597zXZִF! ]ŗXf1-/6vR[k\_[FjhfP,\.Y|W(}4>mBVU֔W ,H f,_*L3Ef1D F%ůkHo7n%{лhOL'SnmBI;X=)Cs{xV,AgYZ7zXZִF! SG]ŗXiɟ8|g80L(>7 "^ Nyd(?DE$IGO1@ Hqde;SfÓDrgܒdyd#,1z%*O!^3'c= b(lWOiZKIp^'=$Xn ;0Ֆ/SqH<[Q)i\G?:hWYvvv%%ޞ\\^7t_8kKʺ3.H>،ۮ[ĺ[JeʱgYZf3f0a44f320851524c9880d00c68037d9eea50cbd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e a6afcc2426fd6b701d456a4f4e00addedffa6cfb + MuchAdoAboutTwo