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 ooz d, ;/ ZF-UNITY:threads=6elapsed=6.186cpu=30.860gc=1.092factor=4.997zXZִF! ~U +]ŗXf1-W_X vL7Blv!~k#b۵]0+\W7ADž (!46FVw= ).^y^(%35<ΤA7}?͵fCo@`]9O J8dL1k) w 5"9"1 5/\:Yf!,㛾>mf8Ch,wts4Z; 7sKwU *LH5HOFy FyB V מt01,T%mZ3^*قCyٯh:.f$I5)賡w@ri~^W"HQm3;4>В9/O4<%R=12]Jrf+/M3G|*36PTY'61e|(MUl U`NEy&r9ƊZd[f j7)&pOj5@w1ԯʯG5\ӉkE00v\1PjA8c.lzO9SVT XͰ[go.z   ZF-UNITY21c9Uwxx9UY}|$1'z[5:DQ\,雵05=g@aGw6J}ub1]OnSכlj=Hw mO}o;f*|AhΉ>?[#y24c{aZQDJG9AdOӖ 3䢇n⇪,{Ox"׺BՋx(U@qF%s93>vqk.Z k} > 0>}KƄs;2GtfS*ۤVzݤ{ao$ǶO~F`:C@ـaݖ̫)n!f!g YwTQ,49=@5n_Dߎ:ۈŖuMWaT2)b"̯1a& n<Ƕ%~N#)/q8+EP_N*~5Lh|blbtKVҷBSPj.9[]]S;nyZokݷw<6 ~*񊟰tԸ&)- d /޻SrD3/fxϴ&#k, fl8߲usF\CtMh2#yq,^tt>`EwS-ފ Vz q !1U[@0P^G)k8;9*W5M5u\tø1)[+}پ]qwO0?K YX]!ߨ:SȎ>7BslY T:Ӕ(S~` Ep"p|B[s!SpUS3AQ)~QO ɎxKi$!;kU*فn1J0#o7O}3ݪvUUӄ6>ia53>zcB4pp݋3'QT0-=PؕWF Oֵfpp a=' QUDU pǙ!6NPKHm:\9L C↱gYZ7zXZִF! P]ŗXi% 0|mOEwRψkMVB(JBw-f Vh`h7pFBv>gK(-h܋Yմo%YXPn b+8aXVe8JAC E! LVwKU|aBa֟MI0w] i";nI SU|LGN]}Q^9 oG7ivV~ / oRIKK#LG%8j-t uAM)AC ɦgosLk