SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info {5 L m% Rank_Nullity_Theorem:threads=2elapsed=21.486cpu=33.528gc=1.292factor=1.567zXZִF! ~]ŗXf1-/6vR[Nݢk|m-ĽQ Z-)Ж FִXX\`[BI-5u[c,&ڨ,iRΡN=\xz&lOk68DZeثGӁ^+*A_#'Af A5UީuWVBU0l#P:™"/ReZYw!\$ /SdϼL=V鿴h`Z ZLYa(b 6[ $H<GA"_-TEqV^MLm}T+ U-Dرk@,)[Ih_hpsl L 5 Rank_Nullity_Theorem'Z!V--[O`Tg8n9ڝBRyW9:6R>)]xd} T2O^kdhdY%&A"ھ,6?.}*gj]L 1 9~m=g{#i@(e#O@Q¦5C7f't_eAy8 {D$};ރgfآsBlU޷HdnC7-`62i}k?O%FJx8X)4O⃵+|8oѫt_\^L_R)LdґHiy.Xclʋzn̳q&Ob'"ϫVڦH^̻S܌ݞ&,!sNF>?wjÃ؍A!xi~kĪOxZ>6l_tS4+S.9c5ꏷDxs G2H>Zq3EaEw#唤Q^|y?5)",6v ى<M/ U8~ =A<2Lc=yB%'D1.+@)%q&J`YFx?w r#3$O5+RcjSh1fAÄmX7YDNp]gx,>CnKM{o7~ϥ\^8Wb/0!-bԅ(󙼚B]bRjQWom_vpq;z0D拱NνB!8Xs&?3 H@M/͘='Qqr/s >V&mrskEx* 15P{ZU4&pvPJ*&2e€B<r^ 3rQZVQ .t0TUm>* a=7lNUvcPʼFiq55o$P{aNŴXESՇhwYCJ?-X >nKQ!gl6x%Φ7ݴQWJ6שscJ"obܭ6qVVm0uLLȳߣ)a-LFu8;q#WuB GdƽqLt__1;BQXϵ'Qxǻ\ϕMGAc'Z8zuTϝ`g_SaͬsnEwV![;YiH-f[0¨a~~Gq_-L%m>ZH+ޓŌ:+H0㋀Rt~}&qkyfs-`]~_X.&|0>Q=`St4h9FvJjs/ D ]+LKtE_5mW'?#"dPǤL QSc5H5:_kTGAL6V5h +Z3?AבxuoYÅ}`Ēaw*