SQLite format 3 @ .0: B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S- indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info b#L< ]S List_Update:threads=4elapsed=96.624cpu=294.936gc=10.052factor=3.057zXZ ִF ! 6 ^] ŗXf[&!9$~ aFaڔ T# "ۘIJZ1N VQV ?;>ۚ_#%6gg:#;u3+V] YsH$:'bmAiRRpזH@n/{~'*'IQGŋqc$kCCGy~fH;|+j* b52AdގEu'$r Zqr2d:z@UՊkp vkpw_Q}t-zAAH!krV>5)prRg( # List_Update ΒQOg! BIkYÀ',M h>譅:&\اXZHB|o5Kh"),<t&@=$ap;'B 5Xn"k}(4 +G^aH:~>RZQ1hK,VѲ1[ifjuW)ԉ,LP&" #=']xXqq偶`_G|n鍻XGF]ƇA~-xpݶ0ߌq @A2+6e$x'HARK7UI*w,8-+A3% $NjTD {Rk;T u1Nqߥ~mSXsSƸzlC><ٙ=mlo5h`\mHhBX I6Z#,j ^Ye䶇Z|H,2%eKѵōF2+џMQGN‽q զǎ̮*-^ \!Yq3vqÛPr]b?=r4>LlR{ksbDo0AnNnNs: B$ጌVȤفfF>>;뼮x+"空@{7zr0Y ϩ8EvXgLco76b *1"Q|fTeq1i[b=?tꮌM >S)h`4 7d%s-3 Z=%gU7;:u(O2CTl~@ȦyFb)&kv&m ucZ_V< H[O s)qix z G}:XOy/(ݣ6g̝OuGxKER\_ cSDꖅ<;VyƟQF /=U=KdbC GY\\˰'iOrU:`لuZA'^zoQGOGqZf=`晗RN#}9[L"kNg$?wU7|=
àpAE"vVqũF!pN qȤƉ ߽Qs:D[x>jbILʪvC|anƉrN;Mr*X^SSMь#ĝWQhSlȨۛ>i\H@Sz;ښDA/k ު