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 g= LT ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.394cpu=21.260gc=0.820factor=2.887zXZִF! y ]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6G_JvAQYVaY3z'X&RdžΆhi1Ś[)#pZiL ̋)0zy3ɏDYCh,$v _F).$57~ZRG3.,(R7Hqy=:WXD!d,=^*V%&ODJ>8 '0gYZ7zXZִF! a]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>nfmꇼ t["G:kE+MSz9_cGgm+Vk=}2D`NnhF]kqf1^XC:G%)֭֭c k"kWOrRp zt0 rTbߚWt0ϻ`Gʌr, Lj8ڑ![U7DQGV@^P:. Ov4_/*kB fu/;V22|9Cf9g;-?$&[qeNu/d ݷgH-%H8\ZvSu !7aզ֍c }ilp> 'mOf+8 o/y7${/"X`IۇtK_Y ty8,!(VKdIXs`\f8](K"(盡XN_vy61,?5h `r m!yȨ9 VhAT;a,.Φ|_%#LŏXg?L$KO0Ku|ek330IP^^qD6U>A3v 2ACےhrbΖ@pLbX_&1CMF=h=&PBr;N psNJeI놠h(7zY;@mt}?nGgzw򚩌m#T1l>>SRqxYfaSz "Ft`:%*NjI_ճ> F6t[fe]a^ePey-U;x hwa)/N|+[q`꜔ :s,`=.1!riŖ2=B(7ejo6=;xg2Fv QKgYZcfd90a792b6c6de6cd012fa993b18c8fb7dcbd053332edf39847f1628d35f5610cfefa768193eb62 cc7658c0667840e71fec6de22d6d5d51b1c00f17 980d86e0f1ac6d5651cf703450bcf028274f1fcd 3e89e7195ca14be81254bee89516d161c5166079edd47f96f023d807fe7415f4104af28e8699cfb1 = HOL-Nonstandard_Analysis