SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 f5 d4L ] Rank_Nullity_Theorem:threads=4elapsed=7.216cpu=14.372gc=0.564factor=1.997zXZִF! Q*]ŗXf[&&SfL&Ei5ZݍJ.Kx` dj`rl^Ƙ D r8^mVV( X4=Do$xb5(?,Yxp( lVjaQv6~- sy%5x|s| hk+l{NSV$ܝѪްu 1"P^9hc F3*,iQeӞS8lQ(CH$e<#C;n=(h.1 0&r ЎgYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7#Ԍ޶r?>n/6|d,Q_qRcv0D덵mR69vG\Pj4~6 饳9 9-q7)uZ!ɱVW,MbN"7Qq`?qxJÓQqUeZ=6*gYZ7zXZִF! <]ŗXi%Ggڧ'Z{&V[&J8:FPꡙ<~I'ac\#딮ʕ2sJ0GkKoj[;鲭-|G`> #v >br<^`\}>hder3=LY}>Jǟ3 m4NԁyTgBW1c)9#Dq+dN~nkZzY z{V/v4v:{M+j@KERrZ擑uulTUK3+K*N1;:6ٳP[Ix8$־wkbi$ú)wls7JFV[)@Yzҝ@*% 'RW jo@E4}3NYM*ƼC3"V\,0Et($>J5xr/ }!0n 5ƄSϰ6o>L!mokٹ)q8~/z?y?9P)i{ q`vWr.^ K%͹IAAVJh)@l+EfOo R_׹y])vV6Ym܂r2RSUVQ~Y?x%-J)DTj`LQ䊚(I^=/di^™q!N?$mMPbYij3z:xdҧL g7^6JהBiu9_&)`QL5J2媹Iԍ\f (/ҤGneL֪+hmB>&;mߡe3 5Q{Op1>qrW c~tFMtbD*k)/ˤF`c(:eyZ،y}XApk7aݒ*dC :AG4{xkdOd_!R -oJ$؂W+M[!|ZTJIKoLΉ Tcs<= ϱ~=c[DE=|j30G u}]\8[p KhI>pځj.( -]PӜo/0Zk]0 Q Ls ֞.j]Th}`U>\>s )4}ߡAER y\0gYZbdea6a2065cfe10e1ea1317658088ab50d0f96d51795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 736d5c06b62df891bd9077332c5b7dde9e009115 5 Rank_Nullity_Theorem