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 O= D\l ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.350cpu=23.784gc=1.116factor=2.857zXZִF! lZ]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6G_JvAQYVa uE3TJwn9OZ2e<;]4(>?SCt΢++u*40ze4V ;7fd2X66kȒOi^_`Aɲ2wx0xO<>GLqs,';a{o3./Qܓ j :3Fmf8gcH2>/X#Օ 3cӥSS > GYAo 5͙'cNXVTgYZ7zXZִF! f]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>v jɛyVL?fCB&Xu08aʶu/z(yO!|}077ӏ˙9d٤xuॺ$/-q3@qB(z$^w`o1wj;7|=Ż(؇i_=tУDMbsŒ|?*|1&z ppStk.AfVgHI-QmVt>Βa1xM$9rJ>;k*]h"d6ZAI0[a @QEMgYZ7zXZִF! *^n]ŗXi%;ǞͯxGБ1M3U :n7);Dsu0<}k@h CnN ]'d۟Y3ίD<TvKھ[lDsc!ㅁ}>YtӗRw!~@4bxc\J$h]zq02۟wbpCǒa` [<i1ԵC0*7}VU*,SUe%GteJUOHYv4෫}d4C36f?=,$Nhg3\ ~&n!3*A2MKvŠtDf7e٣+Hg*UeT})UsHQ\nE,u 8K~_-c914&`,qE>v&%Pc?%yI i{餙0 YO^U[yqXZu bEeɉH5 kF%Κr5HnZw9NTW\0'xDpק&ݹAK]7]:{v^Y" àv71Ү:\5˅VHJA.`"ፌgwp`.BGuct pȓ]kZLpSɛBWvaRb|4P&._ [paT jqhe0~hb^ _DWa?2Xl)yM)PRw{ỲЎ2NO0o߫bLF-\NM6GuL/{8`)TN%P9;oo BN{?~e{0M44Gm$ 24JzT۱gYZ2b9429e6d397b8d85d5b7454658c8c9a59353a17af6f82155bf73f7bb583ccca2ea0903508c15c49 d46974a3086b030c59882507bc02c46cc6680af9 8cd398a6bfa05ef8b8464339de16f1b6ba0f545a 4c4b6ee69031ef2915d3d45d234df02c9c0a38b477a4662df46f2bae3aa44927e05210c1b169f452 = HOL-Nonstandard_Analysis