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 - d| ]/ ZF-Constructible:threads=2elapsed=15.865cpu=30.024gc=5.556factor=1.897zXZִF! ]ŗXf1-W5"~ H:Fi{3g] U_ 1T44}όBIS.E~f}q\ϒ:i<D8̴>UI|Q0q#I"Ccؽ 5>֜[Zokf b$Uʒχ+τ⋯\. GG(GnVUu疴F'(#(\ )'4@ˢ+ wZMV4A5$Qhx>R#$Uj(HϧHHPɋp"0YilVg,AW{a2n1/Iz2#gYZ7zXZִF! k]ŗXiɟ95ZrY!Zg>3gAKr^C'xqWVdƚDN 6׆\&sƵ:aA`NY1Vհ5{UK +mKH~邸fS 0D[gYZ7zXZִF! ^7]ŗXi%;UF$)ĴH,(]ݵ#.?Y s/r" 'alL' MJJNUgU9A$p^ +T`"H8֫A,UZټ*H-%:5ΙL#!G1T{06Aɠ@{r*ÇůX*Ջ+gY#+.5²E P4E #98 ÄCb_V|HR;oA)|=jʌ/ڱť) ƥ @E=82H 5CoQ#\F+hRh&,x4IQ+ظ#&Եc[ج1HJg <]d8)`0DyBbG0v6u3u|d5% hy}^X,)y-D ix؜ճ"%D#ѿH8"D؇W>@L݀f VGiCaȉSr >5 YM6@".*tӰQ<)en94H_A^T-Cl^ZpS=[iʠԁ،E"atO"_ ?IUyi"߰'߷f,6 N1|u-(Z)a,RC$aTzb4),$_$U*0NGbUcd&l}|馠+?5֙>uo= A!Pv{G48~Dˠ`^j"w*hM,Q钊S}򮂟sm-%n7 SxwfL^Z[Soc~*Uy'du|A*D' l. =y^kՠijbU4PXƫMY[jgLQ+b؛ ϊgYZa987283fd9b85aea0be8a4ff29f5f30573601e83f82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b 9da86041fe15e5ef579ab3f36bd7883ad17342af - ZF-Constructible