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 kk T w/ FinFun:threads=2elapsed=5.994cpu=11.188gc=0.496factor=1.877zXZִF! >a]ŗXf1-q恈͐7ӺV }"cXH?c;MԖP؉ލB[:+_6w~I'Ciz|޸s;Xxw$[ՋtUZOޮh $0rlV"=]#8kP!U]쑀:8.f( T` ,/E3zbVեՇ,s䠵Ӷ~$Lqi{4TY.q|f溺]gY|&ZS }y摃kn/aĕk u`4|T#mmV _+VnS}\~m.Z݃#zwxjb"J÷K_D`Eb8XUf8ac2lmxe l!Mg$Y ? EtOFz"6|NF] Zlsab   FinFuna-?Y^fEN}fz rY˯L^BOipx͆7LU|Bv{Y\5gҏmʝHf8%5ڤV>[Bj*=*t]7FNGV3߂eG2Ff[䠨F캳@ %ƄXZ1;Qآ 1mb!aV$XԒr;FWo!@NԘږI+.@ru\>?옢ZAu?6-hJG{;j2Pɉ*Ia%kydQvM#s ЛUj(}|hm$mb>OZ_ܹe˸> شc&>+*2Bٹ'~l@S̮&"_dѝh#bυ~U;!+Th?K{΄6~ǟ[";$Ζt Ӊ2ԈZ!`|OgۼKu mOygYZ00373f1096635d47f99703056d4932b2c263cfc2 4cee7a4a8ff3a6a412156b24cb39563781feeea5 5505215dfa46643ce3ffaec1815fa2ebb0d2d03e 91e2f6df6462cbf984da0609a3e9ff8fc5f108f4 98e56112c94ef1e4b2b588c91ee96072cbda4b3d cb51e5c244f278a0b0fae9d2d8fb12bef94cdd1180f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b