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 ss 5 4\ ] Rank_Nullity_Theorem:threads=2elapsed=7.943cpu=12.964gc=0.536factor=1.637zXZִF! S]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?yݦ8H/C[cae pɤ7ԬJo%1/HD{U՜0̼Kh&^_\MIRdue{ZZī4=\ug:ސ7lwj.0ҫ1Nd җr?_GO 9.f.QŝwQx70W<}95RA6nk`LL%_@ck /m#$@SޏMue'^u<ƣYL0A ،gYZ7zXZִF! F]ŗXiɟ1˦r!q=4!pƹ $7 ׹-dx\Q4>VP[ K&N;f}w PSЪ8E?3w$è^&;J'r%0_%glP8-A4*c>cN$ Eu$blSFèYe6)Wnn#7Ja)8Ez54o>ꀱgYZ7zXZִF! 79]ŗXi%;3 2a;N$7xW(%+@MYsQʌDˍA]BָdZsIa_΢!YfwR=7 \8fFHs[~5|DmU>?(oЬGut d9Uv3쵩K,+ʿ<x|#ސD=Fd}[4zY1ofm4I5!KrtԔOM6U8*"?p,fJBylrqpwHXV2+7z5);iӇ"c(gݕ^Bx`M117JSW_z^[V |8\Jyӫ48M4%J5R5^\J^rO$vf\XJ&h W-_LЖ֝ٺ!%T$tӎXglU{5J ådLqif/d: ih 4g,j=wq!uW:4W@*Hd8)m?s98OlX4ª=ij Wkbs]r@6`]TDT1O;& 9C 0*jcm:azb=xI 'SvD54Xs}Usg9^pݚžL^ _>on'gYZa803ae3a6f86619427c69d0a99da3c36224d788e665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 84e9ff1afaa7247afbeef9eb4b335fea17548a6c 5 Rank_Nullity_Theorem