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 LL%) t4 w% Chord_Segments:threads=2elapsed=7.694cpu=10.048gc=0.232factor=1.317zXZִF! ]ŗXf1-/6vR[ltb7o- 5v ) Chord_Segments B8V}*ڰ k%8mH:QO]g ä7ቪ,<.[rRsq(i3\7^LPmfN:僟2R2] Ȍþ͹i}P[ ]Q~^#m%W8XBkiX'YXhs95!9C:DTꕟ曩'C`;8K \3NfO̯PجGxGYg5e ,Wi֔L[>whI[%gX!_E:R{h"/b#+ $lRyLr($,ca:09t髭yM¤l.j]9~%ֱgYZ7zXZִF! .T]ŗXi%bLd=[옳O0t0~JIFouܭf)sk@n=`io:kۂ#dl ٺ$N@;6џ"աZŒ9+Y!+{ >]V/yWNpQmk;SeتzR'Ǹ( $SSQ fr0<6P0]uE(--9uQ$?k:sr^:KHe2^W]3bI[곣Qx =ClbHbmg&-JL7k7 Y B: DRǴՅ0$IWH*aJ47)l{0W3i>VS^H2"{_E_Yr-,ȕt!MA,Q$US_cN6"1 6({Axpl #J PNe99Eu{ox),ݴUKsC>,y^`S'Dz INUs0/*%nEOԪ`f +Ix pk~}b