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  pO\ /% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=2.250cpu=4.332gc=0.156factor=1.937zXZִF! z]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYkf l?X:G-TYy,%D %QEl+ѿ7nj:g#D[4jM(3g•_!-nT.w-3 (eшR]P)OMLIaou1uÇԦ/<,r ` Qׁ iB֊ dWę IgYZ7zXZִF! ]ŗXi%!RЋt37 Nb30;Zi4uhZL}ӻߌPj[g֞Œ*>QzAVZ8o}(4l=EC/g Hcfxy)h,t~FaCPH6Rb >2|:q[Mu2Ny.ԝ86PumrǂD e# ZT> N$ Q wؚcvt]@J;u@s܍) #\lZ*4WjϽY 'p7{>6{ԝ{]ͿpDlPUfoqe)IxEg.hڄlR`gOl[L&f-G&tRx3)G&1‬yՅs4Mr 6 |Z 1vDv.44~<51?{!*gYZ15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf7356511e75038958649eff204a1d23d70eece74287e586 4990e580d3cd03b77872d61c560fce401dfc8a62 ecc9d5248cd2222208ff721b3b59dba57e74b08e f8cb5541abb3479f0be839aed3a6a7c0c496386c c942b6ea37f01cd1759f844a3753de5c70f6cf9f $O HOL-Nonstandard_Analysis-Examples