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 ii5 4L m% Rank_Nullity_Theorem:threads=2elapsed=20.895cpu=33.028gc=1.264factor=1.587zXZִF! ]ŗXf1-/6vR[Nݢk|m-ĽQ Z-)Ж FִXX\`me?9 \"9@PafдwZz>WXt\BA[ׯ}AFT f*ďgh0$Ogڅ}?bFf= yL%\/pJ'%:.SKT7*8z*󌼌d`eoU/պg,~4sлDb!MTEn9 2ds<@i.Zp`>f)Q;u~CӍ-G6(%J"R*pwah_&לʿI1T>oEOF1>iiNۯ_¥},tψsPф;+gYZ7zXZִF! n]ŗXi%}ϗWje:? ͡[繯Y4,@у({5330!Z4wYe8YYCj\zo +Ƕ tqѹwY]AK7VJABQ!|^N7RJkm:%b7G= FUTXTCU tڳ9.gt9?m !W݇*Ъx+r U]WMIk[)t|N^~(/Ԑ7~cnC~8aCX~K("~c|Q.+5/&" .+ 6܈lm @DҘTumMra&)D^$-:ύl/嘻M00+{p2Wj6` `mWb*N$}җ]/gì6@8 z07eׇhj4",բ|F^3;Hp4񦘗k3yf3!kx8]b:&}9/8Ξ=FIËo%Jo ހ;Q p~,asg.1\rU:KlN>h%(?PdR~OW岻B>Ab˞bV,V jų$SYL1Sw:E÷N~ӥ<64:I)Ƽgj9OadOHظd+k"(vPD!cҁI[`xd2 V%FnjbMduw`xFgGG*BSVEIfsN)E3%ce0$SY,zIM .O 'Pr;c姝T]qV1Yr MMKtфl-TZT%j:"]pdJL~Nn5j?Z6;/n#+ &|$9>0QX^GFQn(Lۯ<9cǦc;YuZ0/%&4 9&Ǣͣق.0/ߌF0ɹ- -RdyMawkTEQog&ne5L,=ٴnΞ!5φl"\s _w ([rlgYZ03db9191788ca871f87545107c977ae65775a377 21727d5993a47fe8f2d05c68c8806096b7fa301d 218171e56330376c51dbfeef1a7a4a46a15b7af7 239a93137c49243d2828088d900fff1b3b7eb278 358204b158ed33c88ae4c36c3a987ec80fc61c50 9f9253ce446af6f5f273c5b2f233ccef33b018c2 e2199ecbb9787aab66ad128315a0c654e97e0a36 f8babe7bf2c5735c2bce0cb5876af20982b1b978 fe121be47f872aaa5c07fa25d7f90fd2ce53986e0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de6285748 84ded59b1a2f7fa0bbce80ace6919f0a164bbf83 5 Rank_Nullity_Theorem