SQLite format 3@ .;  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 ##Z5 |4 ] Rank_Nullity_Theorem:threads=4elapsed=7.882cpu=14.976gc=0.616factor=1.907zXZִF! X5]ŗXf[&&SfL&Ei5ZݍJ.Kx` dj`rl^Ƙ D r8^mVVFs4Ö?!h@poϔIstH(nI|r({ ]1&׭m2aiD'y2:<;  oni_ }*+azr!hp;ATO{ WMVMrX̟U&=_z=GΚ6.fZ26젃ef[/+TKah% ٢`g&*^j ;<6gYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7#}ۮ@~y!r;ߣL觺'=mJ6$,: u Rhb+0nWPr#s5W_}~;ָRٽe/K 72 ,&&嚼Ʌ陼гM.{T,53gYZ7zXZִF! EB]ŗXi%I o̒]=ƘӺK<ʳ~-נ%)q~x?j"bf}_ksGFP $P:s{EҦPx&=ps~gq!$5zEv^] jnGIKtÌ TާH_0Cq]^EtN@Te@8-5=_:+UIgӎvk!(E. &>gә(*|y0/Y#| 1 !! ViՕ*)d~_kyVpNvJXfwjJZ^Q) џNL=mR@f6-u#xul \݀ igJNy$Z.R@^c9MJhu}ȤFH7f͢e}W p H,CFjSJ$iZP3x,'v p>~40)8Pهp!Phj[.0hePݧ R\I&) \1̝Bc(^V[ATP5P;#[3m9xecqo͛0StI|Ȥ$4 p29wӴxjǔ=%ct`%\HԊ\̻D_[qv2WIWi=[ qe9ih fhZ$ϚK4}:@rc LE9( Mki6Pnie[& rqUG)v?0JڊК :{!@\6Мccg[dh]?q&)G*>Fm h糧qQqzY.YQYX=dp8tHf^k,10H!uD|}^o0鹌moR$I:3 _XL"'2w< ͱue 7;/|rLGaZ傋Zjod`gbQg\JU7 wQw6U\5π06cnGaY׮{.%Q w1([`Ŵ KsV39\F [tH|`}ԘEaMQ< [R-!Eb!tyra ÊA,gYZ24be63f5900cc305a487d9ea10c2e8b497c4c22c5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 d92257d35e39c8204c9a3171ffd1fefaa3a30d32 5 Rank_Nullity_Theorem