SQLite format 3 @ . B B h77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info I I 9,4\ ] HOL-Datatype_Benchmark:threads=6elapsed=460.675cpu=1671.840gc=428.552factor=3.637zXZ ִF ! 5W] ŗXf1-ĚEM@ٚ|3Vզ|T!-K=zQ~ɖ$ G24̍t^*m uzZgTcUdd?~ KP-${%}Ēqza.FP)f4k&;nlf"ӎBO[?/*i43+TUr |Wc1qrdPze#3g|;&!2VAz( Xx;|lT,V\9>ӑ7R} *4yIt}ou=E CC%Jv0W aKE] p*, ǔwWusD.J=^NϚO'a(NSܶk&ت۲acy-uJ)pX';}!k>QE*?i#_r'AMl=Bm!{U #NFȬe:w$dYM6rhdUZ<Ů}c ܖِP[A.wE!JEJQ~-l@t*/xLq4~Y{k^DPwdl}*o;,Gd㮳TRrn 6,˽VJʑFc)_ra)@Ō@?S"A1W[w{.VSX0\>ê,bR[wOZS&rt_n.9/u!(f}nm}̺ @M