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 mm5 4D m% Rank_Nullity_Theorem:threads=2elapsed=20.046cpu=32.316gc=1.244factor=1.617zXZִF! ]ŗXf1-/6vR[Nݢk|m-ĽQ Z-)Ж FִXX\`m>0ujR9am3 8C\tX ZAyV@TCW_峽ZՋ)d1<"!3T) A&{qrGG0{s4Nɤ2y:#8L' ̇΂}S` 3ITG5O/7^հ&Ղ@E)ΆTLXJW4`WՔĔ6eDT ~nAɋzߪ#UF$9iWY8w)yϊ E%{Dʗtgl0j4[Lkm|> I\!fic7/J5{N _ }9Q9,Vf&?5Q=tgYZ7zXZִF! l#]ŗXi%A̶/ƫ&O聒ZJ$kP!Q d)?ziR`4:B(NfeˢM11ʃյ^U֯)l7#^1~Z@M3Qn(!yjY,tN#GH'i:ڤ]UH,[sZ^ Rr lz, 6glU M6Fl3:ɔ1d^ao1|R||swuAE۽ aEךCJ!PdNUklOskKWc}22_B!h]O D]kI(qrW{g;bYQSz jC"@P.t9aک <8Qta;3%t~!>VMiҧ77Hd]e9h @rF+{PD=BvAJU#䂸AȷBU(\cܬ?Ʃ&tжiF~ :|ߺ> ^ F\ wX{y߬I"u ]gڵ,pʘ2.lqkX訯Ք##O(ح8 K9JwB }L/N&4﬛ӄy%&r;-3)X5%f7D<_[t%֎C dw8m*.UY V}Wwr:[.=SG;t.0u(XfH^g{(`y =)V1HbJ=Ƚhv=Gpwy +<8U }p-^r o?㧨 AG  gYZ03db9191788ca871f87545107c977ae65775a377 21727d5993a47fe8f2d05c68c8806096b7fa301d 218171e56330376c51dbfeef1a7a4a46a15b7af7 239a93137c49243d2828088d900fff1b3b7eb278 358204b158ed33c88ae4c36c3a987ec80fc61c50 9f9253ce446af6f5f273c5b2f233ccef33b018c2 e2199ecbb9787aab66ad128315a0c654e97e0a36 f8babe7bf2c5735c2bce0cb5876af20982b1b978 fe121be47f872aaa5c07fa25d7f90fd2ce53986e735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 86e95bb3182356f659f9dccb3c8075066387911f 5 Rank_Nullity_Theorem