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 gC , I% Comparison_Sort_Lower_Bound:threads=2elapsed=9.082cpu=16.064gc=0.396factor=1.77 C Comparison_Sort_Lower_Bound7zXZִF! F ]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' o^BYV`IlKkrdec{[&:l6=x K}e rt+Vyl (Ho`#d*pP9~ 4TzM{Y)Pu{(`1#jnb +zBD?ɡ.PrfcaW8HH|bhDf3hD@r1,`N$?+)oD)Tʂ"nHB";{*:C8 _[ Og? 66ٿ$ ScЅ0uV c9vK A0*6oG3e'{ ,^S^2̥Wf "}DAkgT JP-_Ys$"Zޠϓ1;.1!٥\ymoVn KlU_Gc\8vEFЇ_L Ŀ{=LM6lI_n*c4#K$N˯ngy 8p#= [ld9bغItdRqP̋a!bG%O e_4Bs(IVxiD҉1g߸y8XM2هĮuOEr 3G^` 2׍0RC0+5ʖᑻnي(Ψ4ʼnE}ZtcW' zة͇';dGСk*ڕZ;ڭpmgq4j8#57puqYܢxl)${m0"SL /]Qv6Ma>ރ07*@}:ة XZ % L`o6dsPQPb!կa 9MIm^m^ɺd9Zt촷Zx3GMYA\+ks}al!XiJ,cy;vltǑ3)_yG]F+ـ :Ƭ:<;೽rIʆQ!ST޹q5P^nnkg'=|4{37,|@A7p,>Au2`ʼn&Wjy]NDKCD- vWu}v~,KHwABnϝgd&cuϯ[᯷UpWh+eӮfjcP:gXl% s`[S?vZGUҲ HRűgYZ7zXZִF! 5]ŗXi%DQ=#w3$py q*F4t5 s}lA"*LnG@7Vi9"bZeI w@̥lԧB|6v%h̠8# CцPqquB3E3"qJg콿 z"ぶ95?]1H.jAM,ބؑnmJhM%FLA!ܔPʺd5-M3/> Ҟ<0CH)"z^Ur0v-i<+? S 8B`BV\EyNWXjjUTJomO:35<$w$ *l{-'Ԕ3{o7XaW6YiaגfewrkpЄQݜCRnXDVޜ=R8R#ɺ{F]O=ҦF[]";}bI$w4|3qH5ڎE#t]!}ՠ&D6/i M$*)N")E{tVG`\ܷV@(9ҵng_n**hS)d9(7A\*q^j/}HxoT/ډԄ n E +3O+'%27Vk+|gYZ001c942e96601ec3cafb3353318b24d63d21ad27 437df7b3387811bbd122c72d851c069f13a3ce99 4eefe214acc9f42eaa94b978559c9f400baa288a 7d5e5ded6b7f50c67e0dc6b4e7f533ae8afede4d 7ffc5ba9164a5135c8a774215c31f31768f1b221 b1ef7a3ec85404c96c4b02989c93710eb0f9d363 b9ebefe63206634b984e3c42f405b18029f4964a7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 e689e4dd8e5b66d1ce0438e4d78b37235fa465f7 be88a5128bdffbc661324343b14b9af6efc8373f ce84bad5ed464a866aa7ae1c27cfc13d71e98abb