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   k)d\< ] Chord_Segments:threads=2elapsed=6.010cpu=8.248gc=0.184factor=1.377zXZִF! ]ŗXf1-/6vR[ltb7o- 5vOBK+hÇe,Ud 7>48Z+aHVt DRSM1R.m>1fIq!r{fw%xR ӨQM`Cc&g6˿jFI ̃VFgYZ7zXZִF! ,]ŗXi%;i.AǏacN@XUlDHwvfE"֑jp9|%#|Y9y¾́n޾0%cڠ PT 4uo(r!#I5L/{ϵE3=J *g/"dB`/8,Ke^#n `!vp,|qyylU2ݭ'¿.F]ȈfY84Gfna/:/gS5) <וyZFl=]qr?F'7eO0@L{Z]Uʲ|z0[7[:*TRMa>4a{qkys׬4YΗ')pREyڞODuj7K,H *"u=Jj3GO!|T@8rj{M 3K֦uqkku`ܴ3FЩ~Vگv3_ $Sa:H@+d @@4g J21ޭX?  01gN?"z4VdPζ5_O*~Ik< OW;2\ -TT)2rpVtm&ޗ/G!WEG8,dFOj,;46jSxjo edLFN$ؚ~(uVB|>4FlcPRp hĬ/FmYƌfgYZ188ecf7c6bc64a45b8daaa093049bf96ca486dc4273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 a2abe554b024808f20211ba5faa2097c20520e83 ) Chord_Segments