SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 > << ]]]ZF:threads=6elapsed=12.131cpu=38.660gc=2.084factor=3.197zXZִF! <]ŗXf1-)9\l ݺn= bŚ&3(/.G_TwTei_injobyqBwfs,#ɥc$Ã,mۑ.}HwtЌp0PCN;;Rux/䪻>jzf~Q1332#+D&'喱1G"fPM7%<ҽ_P1yWD,F| ,7J +j{619 M&}.2Tl籋e͖h#2|6WwheU"OLXX`h.׺WOh~?Ģ LvDZZ#8C{77ifS\wH^͝}Ss/ڙ/pCF5!r1$2 =}Gᄅ՛\3G$vO{nIC~[@[7!^0`>I|V>/ 4cЍ,׏5WJp欰A51"4&*@=fԬ8J!Ш?MW|{(ܹVJ)>WA 㽪Ϯm^ٕ}gewS>Ƥw&3E ?y=!vLEmx r*:T- |$43q|eu5T Y6s.RB4*J<Êx]~#kV.&lL +rW?4g&^a)RlpkCLƟHdYXax` 7J7<ϸgYZ7zXZִF! :]ŗXi%9,nw Q}MHU:\|ݘ`+ /艇؀^'P'T0ЊEP,8n@L"ٛE*ڌ _X(Ĕ56@zY)}үYkfE9 <L(qq<ƷѓlåiB՜*Zn)ZߋJlnsJL\mB=9 S, ^} pbR~_)7'bn|\`2~/kpׅ01) XԽpP7ʞ[U8KyqŤ#hQ<EH ~%B##\'~1cl{"ԙhDh R{Olczo%:pȂ4%ALBbЭBOZRN}t9C{6VahzOfkڇM1_o=fR&`uq/U ZQR+zepp S^P BZz6.hV"7"7İ5PCW݄g#qlpObٻlTEڶ](S9t%XF V rr\4Nfsօy+3fjsc.-d|]>ֆDwz ZEr=!J=4"ʻ;ܻqL7E92mJdvGyc#>arX2GZwLʥ u ޓ~̎@y&DZcy~D2ǮGd!7oyfEq?M2 uXfgYZ6d6b4ef74679773251061eb7f77f6f79b10ad926144fbd49de05d756fe9e2e19f640fdb8a712f8dc874409d9e8634f1f66b3eb7a5647d02d3aca6ec6  ZF