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 ) $dt ]/ BNF_Operations:threads=2elapsed=19.774cpu=36.660gc=7.652factor=1.857zXZִF! ]ŗXf1-/6vRZjȀGL|V~ƣTsi< qe]nWnv&/Ϣ}ʎrM EeD?r#S;H%xof My>lNszl")LHhu\g!Wݖ/(\xKV![;2^XNz𛦐/G&;'ϾutuL*^t!gE~Î xQ yA-̔hB)]hʄS7Yٕ*) n5.L_osv\GD&Ycl>63K)4gYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~- 0ǩ&ycAdhbb%i#$^_W:Ҥž+$%Y{Q,*R{N11[uaEю8Q̫)Z3?O=gns|Gͪ՛.׮J {]NC` gf*<&*[gYZ7zXZִF! g]ŗXi%93&ng*E=;r]oP=Ж>snnu&VWq/Dj$U

~xg 7σhYn@9 [P02;dozj^F Sh͉נ [=667lU&)R:p]g"~wZO>7o U 9m_C+~@O2pc*iL9$H *r32BK0>;&+ 8zU+ٵG7$ǧ1=]!f=} V*(0%xBA+S@UL1?90YA1="gޢKfWɿL?t].v `8w*fZZ{홳!koXJM:C,64w>s"8,e ?](TD>"Ke]g+Fd@q0& ]3$CCD=2%ı;eӵ߲yMK@XebR~0~QFQgow-yI e˛.~T#f >R_y֙: e1s0MY!Z =iYX? ݑ^UK XZT$2LvK: Ql{\ iGOy{2BHo!AWSn)JО492&7 ޥShxg):s6쌈Nh=XL)-Iz$7G k"<;*.K<2eͣ'ʛt˗ `CDŵ k+J#,\M񖀆LӢ %{f&f{AC5x kwK o3 /3“nl@kz( 3g]1Gx𴗿Fh$ҝܢZRc夤|Zn*:rp pS+ϣ69Pqk \ s_F>uD샳$7Xv^q1s渕[gԍ ʯO-[>6T=eG(р R1gYZ56f3398250a647088a6dfaf9f4e74c4c9ba995c2a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 ) BNF_Operations