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 YY$5 d< m% Rank_Nullity_Theorem:threads=2elapsed=20.504cpu=33.436gc=1.468factor=1.637zXZִF! ]ŗXf1-/6vR[Nݢk|m-Ľl1|}p&&~p5z> ykXKވyrJH:mj]`j# EE&dd#b/d2e*t$?IiG]VK@69g4nlw@zq ?z)t['B晛էcSZ3+sRODB)V0C]-O ֦(v(Qz2;yy&[cܓ}m~Fqd $Rb9RA ­_}ce дsT?ǵqT1#۞ӻK:mW~l76d"ofO|olҝwD|eP!%3έ;zĬDŽ9-^:P;A-ͣgYZ7zXZִF! n]ŗXi%6SqE%RW!*g*'82-N@<|ux $Bdz2~"]hBXE9C9Ps/ef{Q,ڧu9hRQ4fTySiSv2=pQ'3Zka.]ϫ7X1}U=T(2+޴Woatr"zօ(r;0 \8y<(M` eݖ2r\_#}}p1A5/>]GB]|wU.X=x!.08}i]/)l].R,CȴWZ2\u{ZTsA}/d5SG F#?5ˋ͇@F%Y @¹tZc9IbК'fH\tpReqgIESD.P RbgYZ03db9191788ca871f87545107c977ae65775a377 140f8eff2ee08d44cc34066c974afcc8313b74e6 21727d5993a47fe8f2d05c68c8806096b7fa301d 218171e56330376c51dbfeef1a7a4a46a15b7af7 56b0231c3c9f5c66c305ee60c16f96f22d2a9b56 7a2dbf6293518994771947f62e4a1f96f1c21689 9f9253ce446af6f5f273c5b2f233ccef33b018c2 f5c7d3b543acf82a5f8cc5048d9f63f804f78158 f8babe7bf2c5735c2bce0cb5876af20982b1b978f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 15ee8cc912aeceed8fe042672465707952bfd409 56381e65d929be2b28a6c2758bba2a0736db6379 5 Rank_Nullity_Theorem