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  dD S]Lehmer:threads=2elapsed=1.717cpu=3.128gc=0.000factor=1.827zXZִF! X,]ŗXf1-/6vRZ=\\ ańǜZXC5_T/Mѭj^co>Ƴ[>ƝdGPf}FIhJ}cTM<]-HNdK{ĀeL}SR 6&Z+è    LehmerR4Oh"g|jWXQ8N3SnH׮S eq[cs7gt1Eo1I=2+ڻ[@* 죾[K2gYZ7zXZִF! M]ŗXi%H?yAG~zUu(l 2 -}|Izs^JPߘXݬA0%V O6du"u/ U­h=ʶ8?%t=DFN %pxP}{$i8gzd$YЪPû 5Q ǔS~kF@s-fn:9\3v$r8rSkZ"c]5[rXj@+i8pIJ%AX(Z h"K5c"ti?˶Oumx7gHNylb_L, BTRI j o~0`ˆb.}ضe $ۆwQIt`