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 WW&/   POPLmark-deBruijn:threads=2elapsed=23.779cpu=44.084gc=2.624factor=1.857zXZִF! |]ŗXf1-/6vR[1u 3ܸ&S$'W'&ӗտF6|r5*Ez "%۝jfy5:Lmdr.r1NP6.w.'=ckzMwFh} t! ws,CY0!7߃]1m̩aֵ|+4IMlu>vI, bn"g 2K8 +:SLσvujsU`|7PCI Sm %+D%ݍ7n0ƟcRUsq j!}~4‹dh"w(7%R3tH1nZ3q:4UFӓFltgi)- / =;N B<_SGr:g=B1@83S7v.m}V%װsU8T@0n#$ icc9;@__N E+Smwg+ӛENKt|M1iHm}p Q_0h@׹ fpq{+x /"u܏GfY9L >7(q>I Њ-tggYZ7zXZִF! z]ŗXi%MߛA#d3Е,lLx .`\bk3H}/uAmay1MQ"4$zmțOV[[d,*n\}UW&VZH(W}գx',e|E鰿w 1W01f}/s߃Y ǝ-,ao9Ą6fk-,anwE4/9g0@VM. 7z  D+#(d\;W`UN !yٮ )>XNry%ak1փvq 2rLLca _N $ 0?$dR0-#s|Wd4/Te5ta3<,AeTn^g"O^tIı.kЛ(Ʌs䨃VK V5xJQ+!B)9> ?4zQg&"".rag5t^1q{Btô K@Dp4,eHQ_g`}퉅bj ?]r} ]`YV=Fɱw|>Iwv.{? ?b+襘(/!3N`Wm2kU(@o