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 ww~1dD I/]Discrete_Summation:threads=2elapsed=3.459cpu=6.884gc=0.128factor=1.997zXZִF! []ŗXf1-/6vRZa*Au&܍ׯFm{"v;I M\vnVG.&E,VIN7WI\h5Ҁ0R8$P`2f:&/@vy}~g_B@a.5< mY4'Aw M.+5 2t堫MNv4WY;ʥejg7F"o8̫BSb Lkel sN6X8 3Qy#lI%:mv|^)`7+Z;Yme*#0~EAPy8LKr<ƾ6[H"NR)r㱇,R@rYJ ĪK)E nЇm)lwh7Bzlu oMC??~SeFfH^>w%d[ƒgAO&Vl$;m [^06oAAq$g",Y9YA{2;qoYw9yDa%dUpܛJ΅Y T#8laehSi\佞2WMYȵc1!*gu'ެv1-~tЬT̳'㧺:"crM`Mܜd}4i䃱gYZ7zXZִF! \]ŗXi%DQ& 1 Discrete_Summation6Mp