SQLite format 3@ .  YYQ77Atableisabelle_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, "errors" 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  Z Z#1 d w]Discrete_Summation:threads=2elapsed=2.942cpu=5.388gc=0.092factor=1.837zXZִF! ]ŗXf1-/6vRZa*Au&܍ׯFm{"!Cxzzh N: $a@yd>'594'W87/)Wi02Q KX\j-('CtF͚}n\?l 1~R ]|'m#nԒ#ѡ,uk(q{ lꯍ Q"DH0j8EvTt˚px |DVDgYZ7zXZִF! L,]ŗXi%6wF4r$"Qu 96qh]~~LY`S7s6l+(?,Wl X?|]*x ܴo|@Y54vNR3]mrkI:K ťbq!Ђm= 0X&N