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 gg1tT w]Discrete_Summation:threads=2elapsed=2.769cpu=5.412gc=0.092factor=1.957zXZִF! ]ŗXf1-/6vRZa*Au&܍ׯFm{"v;I M\vnVG.&E'CC JEseL}M%À)7`#D+U)֕qN%IYK[/` F(aS"`O߫S@1/<ݚNֳhpQUl‹řTy?h! IIpMʷ=BBid\6I[r72W1)HjV<+VEt-ӵjBvĆ[ur@k`CAEt)̀H15c0t@)#ӘGę'NPۆsG/GM&P#g%l .'JH_}\"AI)J$K6ڦ=$LiU rkh&Å!;4z'Kg(JP2;-'AgY 1 Discrete_SummationZ7zXZִF! 2$]ŗXi%N}N:IS N\N(hRj1S"lTkGX!ƚcrcn# ̌Nw?2])e$\ g&#q^r/]8٪wahn6_jtKUjĞeTb+n\Oȏ Q)!M}[0Bkp-.=v|;@J/5+7"˵ԃh1ρ6G?f;_5r3>gU0U_(kGz)ZN7Uc$zQWs*gWv{npMH|uGzOUMZR&XЏ~4 ѣ h{ [_W>oi=#&[%$r?u1]i;`켘ҶW,Cl2i+&?hC8 N?Wl/z.7)gYZ24a16ccd7d06b41b6e68771fea5335fb8a4e84cb 43cae1be099d1c213eaacc3f2b98abb9cac22882 7ed62bc2552e06c4cc7af31812f96e0c25c73884 a6d5f38a796d2f9824edae8fe7d783b20be407fe de7a7ae3ff75272fa91bd120804f1cbc7b65142e eed3763e145c3217bd1006079917bcf0c482098780f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c8ca3312df2a738c6ff399959968c0a8083aec352