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  > >?t ]/ CYK:threads=2elapsed=5.120cpu=8.992gc=0.440factor=1.767zXZִF! 5]ŗXf1-/6vRZy/``$%'Yx3zK_#}=lM $QhsTXv[|C>G4z zWmN5d ?guxdi\[uH=DܩZ0bw ?Ʃ0]/:xAL9"9+҈xtCWlVQbXCׁ=8Z趖1˅׫wk_Yܟ0f$mjbJkN q~gYZ7zXZִF! ;::name=CYK.CYKelapsed=2.875cpu=4.832gc=0.216f%' T}YZ7zXZִF! ']ŗXi%;cOS1ST [`:cVЋc:xҶt}uN(7X'>8͞ci]xr5n]wc.7).x~$"/s'ITM04{TAӯ.ԏ7B4'!&|ԊFts IBH^"F>S)`$6%Tx*I)Hm!!͇6Ó@铻#n6)X,vcѿ8Cvmj+m?-eH[\A+cyߩᘦ/4՘>@(ف(ntj=~3a#* ~%od=']:~NxZ\_J44(6FJS*~3/hw7o ْ5d.aJp=J!n>CDF-<'&]H-1RsJi{w{์ UOVF\DrG1X_Gd&K.h%nCptP gUT_ȗQؾFW/ I1HHQ+g98kiuPb,XLmT96(FF)(耍18bň{%%Q`R5.E{m0wc&"}G88xo Ow'AgYZe149cf68492d029b35f830a8dbfa49059fc2c3ff79d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef  CYK