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  : :C)Tdt ] Chord_Segments:threads=2elapsed=5.476cpu=7.748gc=0.216factor=1.417zXZִF! z]ŗXf1-/6vR[ltb7o- 5vOBK+hÇe,Ud 7>48Z+aHVt R0Z%EL'}:eԾ>E Bsl cU&oBlg!=~D yٚ#+ tZ'eCgYZ7zXZִF! i]ŗXiɟlٞYZ?@Lx!ڿ|fE;@9W77[(@HZ߿m}Ql'jff_i3orX)'2;QݱgYZ7zXZִF! *]ŗXi%;ŸyE~>\ x$PBubyO.H\ /Tniǔi?{3-`SmR hF 5 X}]EHM 2.^jn9NNP.->%>D+1URȕѣGp&^lGې7W'Џ%)jmj|u7GD5>iq%٠偢c})5%Vc~,wCKl>O0S,rYWT`I<\o{c,4")+Uyx`D+jV(:>F2RsY9Y; >2K}  UbVrF` 5 5;= Uڸ.y"KEcu|MkKc mUx :x3AxL5c ޯX}/6|eCô7ub6P@=GwP?t}KJKZ+BQ77+k , LǨE&TV'`NF ECCwҏ?Yzᠵ◜q(,bJk{4?boʌ3orum4Vr{|ꡲy2hEO\̓]?$s+~u?O ya0` k /:jF0w$&;Z2tfSٚP$( ESܒގ,SE>OvUp8c|T-gYZf47fd4581614585d211a7bd6818d639e4e8a4f4979d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 197ef942efe1b520e57810c9e607ada8b7573cc3 ) Chord_Segments