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 55H5 <, m% Rank_Nullity_Theorem:threads=2elapsed=20.681cpu=33.196gc=1.400factor=1.617zXZִF! ]ŗXf1-/6vR[Nݢk|m-ĽQ Z-)Ж FִXX\`me?9JB $3`ѩ'[|2ۨ?p U 42hqA GT&k7Z8;+Mat8] ?MrUSA5tNb@7[T _V%_d) E:Kbd@O&d~6\C/!x=C)r,{odig$2> 0c5<])@"/1?$ &$ _T-)a@(q8PbOOe=Z3` 8dLRahz^@Yz&:[1߫DSR#{4p8Z#t: #tqP:xݪuphgYZ7zXZִF! n@]ŗXi%= Y4 qf~ g}zm+qr.l8p?s_&+fxBϥlH)AKs2nö0>ly鮹ə6`'(DݳaT7m穦o_RLlC$RNd 5ESm1ox;?|9m2ѝI X;ͤ(1- 5ιB 3^=c'ˑo-$EGv&#g{i=-*ρAs&f) /-̱mq.OȢ4 Ͳޡ)-owσD׮jiF$) zOFmT]7ҒW4@IxPÆ;j8g,{kkf[P,bVV_ִ۹vE`쭤IF@<&eZ?gSƳh`^"βxB7zl ~a@Lyqy)@xd*l0!j~U!s *r?i&ZO(ᢑ Tg9(&~s,xn j2xb c RS֨^U׾:/X1/vE7k g$h(iKdpmt ҵ r:/ B5G 3 _Q\ FUAЎE ۷ֱgYZ03db9191788ca871f87545107c977ae65775a377 21727d5993a47fe8f2d05c68c8806096b7fa301d 218171e56330376c51dbfeef1a7a4a46a15b7af7 239a93137c49243d2828088d900fff1b3b7eb278 358204b158ed33c88ae4c36c3a987ec80fc61c50 9f9253ce446af6f5f273c5b2f233ccef33b018c2 e2199ecbb9787aab66ad128315a0c654e97e0a36 f8babe7bf2c5735c2bce0cb5876af20982b1b978 fe121be47f872aaa5c07fa25d7f90fd2ce53986e0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de6285748 0beff611cd94b5fa7aa7bfc129b0c2bacd34771d 5 Rank_Nullity_Theorem