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 - 4<< ] HOL-SET_Protocol:threads=6elapsed=21.929cpu=88.272gc=2.148factor=4.037zXZִF! )]ŗXf1-q恈%vA?'GAq,$L;׺N'n='=tZGAi J; 3V\p>%Tv%ISoO1\cn%_  ڤu<ʍ>,fE<0+VߵTB[DS$zI]A=,9s^U2렰Iqbo<Ϙ|nx)Tu$ jZz f6C 07WL@cCM.f $ тjH¡(FZsLy˦J1dB3WP x/c [)oYZN)Fp]uֻH{5>VԚKB}aB}DL0ґJh}N\Ww^{רň*kAZ꿎%/݁8&QEꓦstٳ\ Au3 F^Hhu*/cw?[4EԧmGMi,zSR%S(n{gYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxx,I| LLmwy<+R<Arg5 ZWBBdʂD'3_xIr#S(SSxVv ֮-Du Y0̽%IƇ ^9{Z ҄ { % U4oTsp^<>,gYZ7zXZִF! h ]ŗXi%6_XX+@xڙ+8Vλ92[(@wS"g0ӵݔ²+GuWi|#.%3ioM;ŧi2T!#/tL)i}_ ZզE,W1ɽ4 N.Xs&PDL@1ҥ^dxNzj(knp6v$n < ,3J  }IH}4XfB21DXbءna"rƒP\kΖ缺I@/Z0ywFط 8H!a޾z&Ij=//=ї: ƻV.v%'qgI%|dȳLf"o.aL!iԂ-[]d w>obƻvgQC>߿.9ʲs@c5e4sj1$t̄+ϗdﶳx*yш]N7_z}<e y%˗zx)-ՒEژA$6˖k%$s#$ӼW" AǏA; aY\CW(<Y˂2xij1@\xX@dR?{:\[0xwW0/G7