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 GG"+ < ]Landau_Analysis:threads=2elapsed=13.616cpu=26.484gc=1.480factor=1.957zXZִF! z ]ŗXf1-q恈͐7ӺV lt>;ecm| + Landau_Analysis 7;)h I6\LFAULxTK 4gC6ns`+F5V\0:g@[|9.sUB`liAaQh(qʯuf!%cFtx[ĶJ/M}0fm[(ӻWW4S8żB9E|1V) )x b_Ϝ >MH3 urN+Jo ()LPMk dZ] .Td)r)YYTG[R71;C䄀U*2Bӛ̈-;I%+Z)U\_|vOa!c戲>&NJў3ȤYYױe,-)Cf# eoUK[;jݹ 7&jI,lAOjeDEz9لJҙ1MyuMF_pP򎁱~"ǑJݏ%{E?"҉O'GM[b֎f2a\UIh;rQ$;E8ȕm2~˺tbK +W6V/ky^ h$i$/r{x$Qx4ϙ_m7u&tP;#@I2"()㽿}^XYD1P&I_B5LY.2'xѩB$.tbȇ(JsGNAr V6CjId9l?*a F`gID RgDNxAN;Fkjm@>!'gYZ7zXZִF! ?hF]ŗXi%k)LkK+ ?dqLiaPEb!H&wzHXPEvK.Iq:FE!=EFe=C>q-[h$`xYԒL_P/$b rB7(ȁWW)f1D$To8&r:[GvyS[SDx [PoS*t%oN@yl(n2i, Uv5fPc.g0KlܦeavOs xEL-^'>˴_K!d[^ӋQX/66WՍ?aD*;FP&Ían4YTIϘRMňl>Z%FoMx;k+o^-c<W~`˜ TNe׊zbnEhAv5cM[:dɀX?K3GM0|g{ \O?m' kFz2F4 Eo^yk,׳$Wӛ5Ε -Wmћ$kGDnqII3aKz}'pF+VLhݵO:ѽ, WW -y(۲Ő'(O'׻_ajZ3S;p{#4`v5]?;AXk0] i@.\m* 0&,l o5y6@aֿ‘=50t_sfa:hwq1'l/=)t^Z5VW'*A'J|@5,;0Pf[+SaxZĝp 3踒W.N]"P`? \UѺ_B}*K {$IW=7K뛄ԥy͈~0 chϡV(t]Ť{CĆAD2ѧ=lA@39) w`jmFu<ɅYG >O;telۅzd !URI/p6j4fe~}n]gYZ00397a27b716a17d9a023df60549d6646efe8e97 02b46a88fb3755427c4e37e0dfc37f84ec4a24d9 06836e075e09e46f8eb9eafafa5f472179d4079e 10613d577a940f8a28d23a0b2337a96944fa4085 4c7e394dbc3513322bcdd16f9e7366b8cf75b2d1 55ebdef92c7d5e4d5ffcfb0cbc0db21a00f70a38 5ae3843a3ed59ab2457ecff50bd3bef97837615b 5fd67474860cc00175ce6967175273e563c61549 99a1022f7c5e258726c42743163c68599db87e23 a9d5ad43ec6f86c94c776f5fec4964604cea28d3 e1e95447f60e6fa9698fc2dc2d3f9a6dee397c16b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d 689e42f6a537aa228ba8dcbc2d5fefa5d25464e9fb26e65bfd5dd6cccdf71bd148144fa63cc970a1