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+ 44 S/ Verified-Prover:threads=2elapsed=8.400cpu=12.404gc=0.388factor=1.487zXZִF! I]ŗXf1-/6vR[w?q2F)4|*[X\>!~ X.h_ .GoT ʗyֶ.m<IUCQt vxV}ȞL{(FEdkBb9[E20 W@('{3Dk؈~(@?m nGkWޘT5A: J֢l\Dz#XAߑv>9uBxTzڅ^Ƈ~` BA̤!6c3? XVP$AZpD( l2sd-p-a?}5 ;W l~l1y{&|R|d~,߁ ;o`@AQaI4-k4p݄ Zu^_$rɠJD`4* ?T3A 3<8hVHc3㠽!' {eq{Nu TgHfRi|b]зG<Į)R[6h»E2vEĎB+2ϑ'۾G'LL.hW@kh{|6/maSg2yru<ґ |LqtRTҮrX<*$Gkbt?Utb4#B;qφL pѽP_#RBAa‘٦v_D> PV|JUk+w}4(BҹθOK?H3ybDg6V*C8QEfdHNRbn\!-`. vK<5mf!8.CMMg,sT'3@fS4NŪZ$^᪄PR='x sf5}MZrSB+[u"XV%l#Ε9`gƳM4,+mVP:RZVZB}Ʊ>~ȔyC)ןǷڝ豄UEk,,vG+ORZ+x18|Yru t͉pmOw.Blbigks7"pJA&K)Yq7ܟ/P}*EގmhJuPuLkDSOk&2ɧ)ֳ1z,2jZ$Th z +q a%͏͹sl CxE:aM"bn`$ cFۮ^o52j5nuRpaN)JJ3冽k#`lv2.텠4m-~ `D)CV.HwMaueM "`LZJDͺO5~uIӝ̢ %=PCL>غsKj8kx@y&%$-3QuJmzo%A}f'tFCkņU{4Eǡ>RHŗdͻN9bPDŽg .b89cCaaj_Pq nԷG:Q"da0}EWI,|S(+|"n2?v@)m/!t\P6