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 nn- D<< ] HOL-SET_Protocol:threads=6elapsed=21.160cpu=84.624gc=2.272factor=4.007zXZִF! *v]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxa\,pmba0 >2{󦹠 !Ie!`qsL|*Wux02 :4lVX,74$7oy<>;cYC*'Z5Zd;ّwĎФMRPUOP1U[TqblMTm<:` qCt0FOYW&ҀG7u(ZX B2mڱ˫mv<m :OE([}r(qB+-M@aNdVAm=.-S#?9dua} ¯,GE M$@3yO@mJȂ]Ԁ-Pt}7d:?~(k@GN}d/xAbW8)W\³Q8eu*hT \T gYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxx>2*C㎰m}ϵﵼsB&geqgqHv,L&l^n^|kVmC7UTh]8waWEoTr1{K$*ŭ~\PHǡk `'`vCSZF <,gYZ7zXZִF! cY]ŗXi%;wUqga~im|ef  ͙cfk!4xxb-".% Wn(F0,\=/%iök_9 eKkȵ_?:}kr9hܗZB5ikPLFZemNv}o6%Kǎv ?!U@$r0W=ڎY#w73r u}ڋskss}mUvZQQD:!7@&;2?y&!rzZlUb8hnCY0~yŽ,o~Ϋ4Գ+W=ۤbDV?'i8#hiZaMzt:%(4;2pmH@Dz, W:q,%5)F帵4s_XU ߱"WhF^F:T0/jo`= Y: ;.Q1@/۩E} Uߒ(:lᨛ,V=#.Q Cob-aN9l(#L6HjBW& q7Q:A#Eƭ QK