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  ) )TOD< ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.763cpu=3.552gc=0.184factor=2.017zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk 5(v]%Qub% 6ʣH.cXI3]eNƔ5|̽S]fwQr)KFgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.797cpu=1.596gc=0.000Vw_,}YZ7zXZִF! E]ŗXi%9,vT/n#.Z/geX5U#;3 U П6ꐞlE8_GF" #BзHǻd B;͹JWRĤO<3Ǵ%umJlj]GNNDQ3*.=Յ1tp@D-99S-bFCG5obނƆ2X㚚s0(KB[ܑͣP` |\Dosu[XK0aa,C~Y?6]"J8}Cvk%l(Ǫ8nlq/ ml\` @An9{3y7 UTl;=D1rm=qOu`V+6Hn4:ǞŽ6gYZ75883327bc499cf364a2a1d292de9db48b083587db456e2182b198adfdec654a00d5bb35f7784ab2 b9ec9d6295bf04a1d5eaa3d01cae5193bc8711a6 e74b8d18e2ee0e40531b2cde3a49dc94e114f93e e46cc64adc0d754508f480ecf9b0b85290d8ced7 242cefc2a242b8ee36e19e422842a7f07d88d6d0 $O HOL-Nonstandard_Analysis-Examples