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 7) l w Chord_Segments:threads=2elapsed=7.758cpu=10.100gc=0.192factor=1.307zXZִ ) Chord_SegmentsF! C]ŗXf1-/6vR[ltb7o- 5v B8V}*ڰ k%8mHC}(}?yȬzHW8jс%wlO^nP)nU џ k>& EڕHgG#Dcȟ֯QJ' 3ܘl*!qhҥ ŋ?^}gFe?5GJ;çA܃\~ p :Y!lŒ $8^IE}^qcVTu8u'Jg_2vlvJ8BcӳeI)ehQI7dU3Ҏɟ<-qfxM3H9 ,hOo>K4L~8gv_I/xt B}6JP~k(L*BEu <!ݻ.@-->LvyY.rnڏIp@LEkE: IEu1))[-QA&=G#6"9~}ٗΛ.Hx2lO7#C39T|FBkcVP/lb!7҉z< Yfh 0 +: M$LP.A` }3 }`": gYZ7zXZִF! .<]ŗXi%?59-e%}J8hh"49} ,#RV!vg%Ղ! t5Ȉx\o6! '9D#Z$Y#VyUPbٳTzOE[>l0M'W~_Kcq5/;=)~ 7+ q1 1O>#W}5nzЛ+eUbN> ߺZW"aI10Hc[@sV/7 9iڲ265/ 9Bg|,~Mt`3noe鴾D!z?T.=(y|R˷X8bM 2Xu:h vz| WA+WRE˲F2^"m#gڥ/ dN#>HtS PDE8&Lr-AI.TAпۄs