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 JJ3- D, ] HOL-SET_Protocol:threads=6elapsed=21.103cpu=86.684gc=2.268factor=4.117zXZִF! *]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxaY΀BadBvZ)AR$TPĽ"4"do28)e $u9fėqRgJbK*m?جL¦{F1(E5GgŜQJe0i./6X(u#c].?u MdRfʢhMF8K->-[S]VXk-qG^ttZǙY_jwڡ~Brd.~M44^ ٣;=,ʅQDb];R8>SKEĤ]i1`kﰇX |ydl {ĥU!2$3\QW pWuсt:šJ[Z8 cċCN?57)G䃊*V{Q9N2׷݅^6ҀCS&wk6=7 i8򃌒Oq^l@CZjCeDv)z oH 3'58tU7ϱgYZ7zXZִF! G]ŗXiɟ1$߆tI)|yu|fxx,:GGwhC>ETF V,y`7y&cl+ m9w ˀ>@c76\EK((%N˜yP/jjO+ޡam(*}kIs3 4Rm~7 ׋2]εj0p\ xF6gYZ7zXZִF! cdB]ŗXi%96+б| 2 Z%`77MX XQ>璱D( IYFz ~Jdb^҄gn@7^ky-;DXwy_5iiE\L`.K[_~q|[WX$[XWta? f @A0[p !gт/.Kyҗ'YjkvY躑z<$s0uE+lbfԚ.E{u(h;^T׶v;&zTUh[h{yT8@(p$đ$ͱn'{N*ˤ,+qlUgKVehV֦ m~g [ r Xd‡uNq3^8g ~8pSgW AR@p:Fx ` [@'ښ:0Ľzo%[?nQ~_(M]f`7D,b`vZaKE#DCD螥zNHXqEЏ/^^k LdmZw1 E6mh<0c!zab.LFw.5h:%}7& NL[p"ٞ\~[>0=qk#o&vK j?M*iO(ʥ\G)wxO2M Q|>HdG g(NqvA.كQx0A#V>IoF[}h<{2[4y#⫬>E"| 싾 az0y3Dz qRDq'fuةEm.ToXFE[qDĺz vJ#3 *ESkSXJ=ՠ,,¶8ԅz v ,Z/arRm%/tcE 3rDmBuR:.pTI3K:`Z}9gYZb95736c874dc779bca0c8c4909d58e825c87b3732e856cdbc8976d5457a0edc209f4bdbd9f5500c1 dca18b1724a67012412f5a3a93399814c4427184 b769adbc3df07dcd5b16efd671cea4c743e929b6 - HOL-SET_Protocol