SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 %%X \Td ]S Show:threads=4elapsed=16.065cpu=42.312gc=1.736factor=2.637zXZִF! &]ŗXf[&QͫВO(KBCbd$%sqc^=D.IN6/@,d8bM¯f>rw+0gN @>0HPqHY!Z7Y [M֤{s ֭q oʼ@S,Dqr:t%6\:/awqݓ:`Y=Rj*Zt4$>Ʋf LKvU5憀K^j|w?!`QrI1h"<wiJBR*$.:.2e"Y_SlfJ@La*c >l?ɮg0'Ott)1I+zb(4zƷ_"} w!bSA0KU2|>Pye pC+DhA7mٽ ͏]9ƇO7Zman$?"vsڀ%.S *Ux, hR._eMUkJیe|ўNj6i'2 !1GLu~K^)HtW̾g%9^(*!{*!'}_ m7a&/e1,^5x?i7gYZ7zXZִF! Q]ŗXiɟޅ*-qbW95c7*}HLMZ䏳%e=#b?4i'sj0]^$L桖7l)͍#B++>yv/d.1n=Md_ãDZw3[n\ƪV1\xX {͵ 'IMucwyihpY/ z^CaJq,gYZ7zXZִF! jR]ŗXi%Bt0v/s!B"`l:~K Č;\_pu)_/8qqHɟD05{2ptcQ([O9?,h~K|6y!_JE) j~ c ,&C͡T/n@Ry؍Hr3MAXe3~Z GG/=Q^J|jD?$@M+/ zNGt(Ů س,tb\źr>s&OÚBlO7`8x(}WIlkI!dĖr_ɚDfw'|&ܭ9XNw4#E-Jzbb@9l5ϕ^QSRhxf *>3aq$Beqbipk]vϑ)U ZX=¿̹$V7z/ ;<] t#k9Ϝbߙ|Ef:?PdbȜlkڮrtҦ1#D9\{Nt"zolAo8 RPIbYa%(7ƍ<ޝ| u>!Lt@ڮFwQ8f^1Ү\+㮭.ߤ9f]S\m/Yַccbϋ ͤ˖᭦U._20\1Zz]Y.Bg{Pz9}XScm7A+ۍÌ(Z~V*7 שϋ`/As6;} vzOQmBAnkp-~`?sC, &+BO&qvZpڏ5.P,~&0ӆ\tE"dyyL^D‚|. |ՎfI4d! 6e đif~w 0EW|f/1% :.?r]âW@#^1h#O/zU^H֒HH!WD{R9y6ue}/V^M`ˏ <= bbͽLft^Bi_>bYgU7f8? F(Qt3GʕĚU=\5\T* >5 Kg&yN*AiM^ĐA)CS{v3qÜJlU(֖5v'˅eV4)/5 E=yZz|h7PZ ȇeC0,W7:;6ոJƐۛȌ!\u7/ pRBV&;KpO3`"i LrbqrU+Cy~ϗg,9JZOl{*\ۛd L);CZ"jdVϒq/R= K:6tb zH>v5iʇlMP2\ k~;)Ǹ-sfYv1h;}_E0 4҂zӞL#OX iZ`*Հn]`Dq-)6:]\w#Kш6/;bO1@K VRNC|̊d8 2[)W_L.uHq6)Ug[F)gYZ902848d5d40362b552d69858b06a3d18555b90b6ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 2379426be7a8c61e771f9e01a38b6b2acacdabc6 8688697b1bcbe3b2f5320fcd0af965134cb2d802  Show