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  9 | +S Decreasing-Diagrams-II:threads=2elapsed=26.745cpu=44.272gc=1.472factor=1.667zXZִF! ]ŗXf1-q恈<-¡$johkX2I):6{Ohq\“g:1)]ZpcC 0nHxj[vz{^@)̗a{@d ZrVʧAYZb&q7.~a>P߽?+RDI-ih篨ԓT̡-TJua,Y 0d?:3!JW@T^?ŁC,(>=:_>}1Lp:g+֡Fڿ/Ptgv/ <>s"a򰇔0U-:#V*c""-E㖍;I~tAfϵ%&H*NNn 8!ٹupj_0%ND{PtRmG"oD \ؙ@+r]!c塟GߜiE J'L]i ~ׂGf HȲ=""ZYʖ doCժ)@e.`e=dK*XFWbkBҁ 3$ pB-|yضi&_<+cV$F'eTt ㇀[bNQ+K1칸bkǤ]XW[Ç!ˡ>;ya6N"|[V#]aժҢ3sMK78Yj@nIB@6CdqBRnTރ4Rl4H3F7R хuvM@-xArv!ئI[ `1q ~cA^ L,Q$gƣ&`w:Կmo?7wu%mDZkMsE%K!XP4#CP8Om~seeJZL3nj -L~R9Oе[p!hSyx,@T{O#r%;]"9܈m(\(˘{ px aZD.ȗ$bs /pPA ž+t`9nkO2SA(`/z4L^GI}zNsCNOF -g#ˮkp*Bܲwi 4{)2K݃Os Vze\Ec8qk'M7[iJ;9./2݁QI}IVpNŨ/V[><&SQK[F!@!]q8L%B: ^-?`n{ء|Fs+sk5^ ah<'-vpAbvDTֆu㐻|Ȼ|95B,[*3R='`6WH O–$Ί{BG$%4p GEݠ/ t~BgYZ7zXZִF! ]ŗXi%sZQ\js?_# A?1Qs/^5+ia- o.V0$V>Oj] X.}#*: FwVL߶f}~,4!twwG|NaQ;7ݨ 6,Bw+VB