SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  <O$T /% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=2.054cpu=3.968gc=0.152factor=1.937zXZִF! J]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYke> ـr'z$n .kbu$ᣁ鞒8##sxg~(.AHA[Jk9^B{xN[8}9A HzCYD :UZvᶉ'"yi?t8\\JAK8y p!~tu:BX=L>iڳ!XMhqiM'R(.~֫gi|XcJ_rX58Zi.ӭ7 _LE*gYZ7zXZִF! ]ŗXi%g! I9Z đGn\b=*C_P&Aio[>ƁiodAV$;ip$L[9>e9/ 'Ā5F1?_b䚹aZkxJC<2 i0Ӳ6sGc+]?ܩJ%2'AUӁ6AVXjnHi&_>ҘHs eM|6av7 #HScO< &  8tV0[WE8x@mչ)cY|qf A\kS6aHqWe,Ww_/悮/$˷Y:ƚY |(XGɂ B͛*_ U2|JuO`;hmx5}}{O60^u{{зgYZ15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf73565111cb49192cce8cfc67a40b73a801be208710de71 e0ede20752d0d3443e18944e2c092b380e31a6d0 c6b7ba133b29935b1451385c4b9bb112d68c90f1 9a4f434c3c8f4d269b806ff384519084b7a42db8 a77656da0b3c57b584295aaf4be522ac59240a46 $O HOL-Nonstandard_Analysis-Examples