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 r# Td +/]HOL-Nominal:threads=2elapsed=8.318cpu=16.316gc=0.816factor=1.967zXZִF! !b]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`Sq㷅kBYl: ܁(տzص̔tfU@GL,eX^Lw3 84'anétgeF~j<Ū`x(^,~2,qx;>w!&}|mZ ϖ`Z*Z5OXpG[.*-$E X֎@w[YšR)M2$+Yoz[V9z![3P+zQժD~!4*ImgYZ7zXZִF! '+]ŗXi%6x]6ɷ՞K g-w(2vV$*4\D4Ah{ ;+~J4IӬ Nqk5U^wv윟,K+SG:(1|uClT_*пăS~{Z?$^BfsN*Y6i{OAcσc۴z2v$z7 Se}ퟩde\Vep]9v-;I)DxMC6&=Y2Ǻi19/s!VL MwPwdQ{"8G lj-/AF`z#? 2JrêiA1Dݦ D=v(t;G`Kvl0nK9F?rbHSfQ %:Ѧ}}rӫdfzSs* k4SB92uo[+"@fGz3GFb"= 5HOUqh\LL=w./"?1>.OZY~kp2$S#EvNq4,R4raljdS>qd"@řvw#/