SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 b+ td ] Cayley_Hamilton:threads=2elapsed=17.387cpu=30.580gc=1.552factor=1.767zXZִF! >]ŗXf1-/6vRZy`ج] tv#[/ ;=!{FfB`UfFjkM3h@~ă^Ҫh҅ ?u1=!T.e0* hG;ZRqT8`MT#^ pl-vZ}zXYo &HV VR q\xr$ -x"76T:ЪwS)|bQhVEƤ 0Qp&wvK~؋ҏ'¥v;_鈖uʾ͐`Btzg@djo'_4X'ॏ0E>VO#iHwdo|:M|6T3%|k1k.ܠ,HNweyH]R 3}M"Ka 鰞wLñjڏtOS)Iݏ{Dʺt  Mf-EQ{͡TBbȽE`UʹH_ș6 v#M]ؠ,.vZRPZyyf WgYZ7zXZִF! I]ŗXiɟ1˦r w/8OA~koY[,>{:`Yq#͛#vrUs Yw-Fm>́ke"أ\4̪. E <̭ƻw1XĴ;93W? RG.+182̶"[ St.{CgYZ7zXZִF! `u]ŗXi%;CK /k&ء=J#w/X{Ŵ8pѯ0uprB{xWUEz,ɿݦͧn 0 [`lvI.ʽB41E@4-Oۨ b[y%Va跤I`= \2Q2*$N85I?_u:fQ^}U\!i}HR͜@ߤWt_;O?N?{Nq#"Rjm%iV8U!p63Cu;H401I, t.N麏vB 3%fs'+x50yd\[N FTǾ'!S8Fo!jQS-r2|eki w^eUl#vK/Ctr|NdsƂrT&:W};i ӝ+y<]·]vQ_?RHZ*m>֞LWPRˋ|ۍDdcc_ʍ*(?4QBph f ޝΗu -'t|0(?w Xۜ@zC c ً!l~">@jfHD|"`Wd*P ieO.d&: pE*RWv-D%;S/7kcufAOZ2A}YZQbf#JiS}1aUibKZ@Jܢ0\@<%U;#pŶŧőp pU莔)WpIa u6Z>A`a,m6V^n^BZ\XdYetffNIm)a; 9%x# aH?D1&Q6=vX\Bhw FnFU(%p@_#rv6⴮q[Psۢ$T\'C<vo?@14PԼD@f8 ]%9M%& 5Q˨.]&#Q?JoiZrc`,njT!&5dWO ޱgYZ33a36627d2008aa483f7b5a144bdf0427fff81eba70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 bdb07c009ea028fadcca50675dca42ea3fd2d6d4 + Cayley_Hamilton