SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 ~~s) L w Chord_Segments:threads=2elapsed=7.827cpu=10.184gc=0.192factor=1.307zXZִF! ] ) Chord_SegmentsŗXf1-/6vR[ltb7o- 5v B8V}*ڰ k%8mH9^:io Z 0 "V@.%uxVp@mBh<Gn0-72f(ԾpEy )q){/-D9)$!/Pބ66Eݸ |# c!J(.+x.KJ5k"#o>8in=;oa;_!x S]xε>ؐfE&|0 mf B)3={;1W̫kz)5܃){g!g}|0s``i_0W?Hװ9Z*=!jy1sUTcIa "¿!NudjE-qɺqc ]#N5)s7,߱(2Wu>nBчpsvJ^NīV1sɧj[Qj1*%njW;SnY;x'dM#.=Z}#s.^IX$+ɝSטO}va]) Fl whʐT aPg"ŚU!&dDKm#1D ‘Cc؞m=[Q';^ҔgYZ7zXZִF! 1^]ŗXi%DQ/T  c2Ld ,jJ +ȅOg y" 3@KayBmps''(uսA/< ?Q۔8ks hia޻BsаW_jHI #{$#ͱ:=jx)[B (5@&w_kclM/մ[`@%a֨ѨO=:P һˤN Q`d ˍ9B9a+,۝fW~RV,KwǑ5*R|nDž%8Y?@nXU0 @>jXQ?gq]liUroB鸞bVhJNHRӗ0nt«CW-{5ڗI*9)ݼ+0}x-*]bȑclz_͚42J>BEV=H PsLG0c\GP ֳΙ$B)ߩ)ܒ#ѵ8oo" Ғ&>\X~X% Su!bAzᚥ89~9IFr7"aU=EѲN5J^♠V:<ꏯ=B,qO0hFKh?bhxU+|.vP`ENe1ٴ.Y)&zTb;>"衲B˒Ի#ݣy$2 G/ /+q?b)}Bװ06R_7Ƿ|=B87x[p - ' 4˳UQObXjj lnULbgYZ34c9873997d079517ca2706eaa4aa4b8f33241c9 6e7a5b9193039a95135b843abaf5c86ef0fd1e35 70fc6afb834f176b6a869956de07bed1400e27fe 79350daa9ca6a5dc1b4127c0474db63d723d6da0 7d1762fa12a846cec12667e1e924d8bb943b2c42 eef6746d770fc46fae6b447c1dfca49114beab207df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 e689e4dd8e5b66d1ce0438e4d78b37235fa465f7