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  - -POD<| ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.775cpu=3.604gc=0.176factor=2.037zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk,@FNM\hJ_04޾(؛uġ)UD/ g3&Z_kLOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.818cpu=1.756gc=0.000ppC:^lw_,}YZ7zXZִF! ;]ŗXi%9%ضT]7T &o\PB-b 7.qX]ھi?a7}k T# ŐkXt& iX~e=Mp+T́T+9|5>qs,}ȶe8G5fKC79{`GK#8bfF }ƹ{& ^HaGm?K峌K~ev3؉u7ǹێws0+n8/Ͽix 0_I3v[bqg@e9dpj{7B!&41gJjˆ˪i~ %è Bdtad]ќB(D]XCrbֈᓤӷ8WRC1UV31A[P% *O!_ɧQz~>*kNXb䛄_J3!MP+(vv\EgYZb70fc62dbfb3d5adcd680c32d7b9bea806ed44a194f51dd4e7676acedffe74ec8d2e2647f4dbdd0c 2feb435dc45c22ba19ecfa070808cd954dbee802 abc19200663f461245bbb072515b86a213f74ed1 d92c00087ec5b5534ec4640439135dde423a1d84 920c5640eb2935dc6c2724496ec9ee11adb510a6 $O HOL-Nonstandard_Analysis-Examples