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 dC ,< wI Comparison_Sort_Lower_Bound:threads=2elapsed=7.522cpu=12.928gc=0.536factor=1.727zXZִF! 3]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' o^NX] #a X>Sz4/<p8HnH#݁TwsHߪ29nLE) '~thZm>`EAE+găĭ +zj6i*J*pدqRj6 i&L#dgBh$}]'J3)3ԻFhU/"4m֜i†.!.DL]P+O3G@u.;eݯXfJnPS*l|i4ǧ6u5b:ܬAM\-8"}F<02ZM6n9 6JzY F|vҠ6lv/ 5)e"M4-(m'^R=hU ~&$A+{9>-u?pYTqXľ0>ɿT_SYqTV|H"12yM^p%-)nĸ'm}ۭUhP;6eE~,Nj!+42PuA2h[-"_k=KK_o->IzJONy_~0gϵ zbmN{&`^b@"k ^84 I$+}b6{܋`OM^ޕRkʏ sny!2ش#npt^%jzunb95 尋gDֲGk, Dv +fۜAUC^:X=}-P)՛@sRJ|1A;ЍA$ E\@\$c,eW2f Y5sniJ^ԙ JQģ,P$0$f{uX>u!["SX:_%֥>P{kT,;y~pX/HI7R}|XkơRh^rPGv IMS.k7а{%b4U'# ͼ>O2d|&$aos)G? L ,e""v!A/`FX;AE $0a6+ ]p9T'&? w[8T{p+@ۋŸdEq1/9iYG;w>DfZ}9FN/Ͻѐ)'EXɽJA -p7&p pP K]˓gYZ001c942e96601ec3cafb3353318b24d63d21ad27 437df7b3387811bbd122c72d851c069f13a3ce99 4eefe214acc9f42eaa94b978559c9f400baa288a 7f8ab387a1e4a9719d7e3890af3df666c9a2cc23 7ffc5ba9164a5135c8a774215c31f31768f1b221 b1ef7a3ec85404c96c4b02989c93710eb0f9d3633b94e1300442e1a3f5f809d9b370cfc0bbbae59c 2f80d3f93a8e8908ea20a991b6190f7aaeac097c cf1f16d97467793acddbdfea0d823a4bab350303 cf54b34e30444469b3afc37db385a08e9ab8df9e 84623f3e4192cabde7f9bd2856ac4d80071a5457 790266b4c827f9948e98efd3ee9ba19054f4a850 56ccaf25e46ebfaf5fe1266a30f9c64aaff99383