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 a7 Tl ]Abstract_Completeness:threads=2elapsed=8.931cpu=15.172gc=0.644factor=1.707zXZִF! Hd]ŗXf1-/6vRZyغgЕgQ,n0 z߇+UMe֥neO#O޶h\ytNH smFF6MK ˖l~^sϳ9أW&ŞoJ1(ٜ΅@T$bO_VYR,sG. t1엵{Ͳ1HJ)ĵ)!疕F>K6\guozV}ǝvg #C>$Ad0h 4 X?Tz@I4Mr)jo~xOD΃@q-Z7x x6w//f4ϒ@HVW`FIE>ҘV9d7eap֎N8AnwAcS(^F]z[s̘>ۉ Q::{(qF,%[)GI;#G>\K[鸵$=S<-rl*Ԩi]E4J$Md~3ky2(gLfb|R#iMdeQF\6O [Z24[1sOi)Oa{qnIе.lg}SK,9|P~Sr-;Mc&i%a%g-H 2#Ʒ & L[fX"/ B!HYӑ I