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  TL ]/ ZF-IMP:threads=2elapsed=1.039cpu=1.212gc=0.000factor=1.177zXZִF! O::file=~~/src/ZF/IMP/Equiv.thyoffset=1824name=applyelapsed=0.367%Ǔ hPp}YZ7zXZִF! a]ŗXiɟ9)Sy6\Y.*1V;yv.A]p $LxKjůEo)⍔Zp_iwJ}ܰgYZ7zXZִF! ]ŗXi%;Ű;xuؽ,ud:Utn F`H`N,bS=IrS: K<<D>J~&yGKblACK7U6L&<'.đ} x1+j-(c]RVL&!ziV4!ѥ"8o-=Ue1_~]~cVd1}v-Mqta0 lbA..ee,s s6+0ajh*mtd &^ )#1ie忸$.2d0nF8SKge~mY?aܬcKף+͵J]≇*H(ƑΛ&8q/|j%~a<#<$|i&7B/* DX{*5ƳW"w<rTFĦTZ'rg2իƝ)՜ygYZ05f7d22494f17cb66b1d5482cc56bfa6520568f5daf53072a7b7da07dacaeec0891eaa6642c159c2 0962f20dd1ec52664b8cf934a0792d5b8c764918   ZF-IMP