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 _ $D ] Optics:threads=2elapsed=12.551cpu=22.052gc=0.376factor=1.767zXZִF! ]ŗXf1-/6vR[$G~fB7O7m3ƶBxb D))kIx'6B~Ա>=pgx+x/krKb Tғ A!Z~OG>dcRKM@8G*!2EnmP¶uu&n,;-C%`53nONTJ \WxF-I4 {9JJfn.=~!ϠR=(6IDXi裐77-I]=y7PaGv w^iFi&Nt}hur3>0+Zڄ zƭB¿@Tc;VX, ̔K]ks3o-FQScNm1}$YRfϟvfmkP  <))uD΃??˲EKc磌^ C\c,dCj!'\0VhhdӗUmJ[YIM f 0%^uQĨL3Kw.ʠ.:ZUV>H еh2:P%:>b#t|EL2J5j/$2KIBFh6zT{0BAǫ19$uEɍpt|f`.]b&ޣl̿IJ C(Czy*vLnV$c%i[D;嬏kY[T^iHGAF̌c^wBkzt~ CxBZ3 r ]X4U6[qmbyLƓ>aѡGtbl݆+2CO<LJSgc`rmu1Bi ˧<|T\\i$5H%i,<-9Zצ: 4zo7$ND-h'` *_͑hWh]o6(ь _&ܷ!t3[(OOI#0f/Eƨ&O9!xL8_-R?]kIPjBS}r/IUUTRmJKJѼ@C=۵P}(N_p)E%ctA0av0:WJK&B׎lm2By@63h[+:ɐViRedvTqQ>O FY~3gYZaad4fbe05add65c16fe3bcaa1ecb13329ee07f301e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 ca4979f63c90d93888d20ce8fae42346e8a5a2ab   Optics