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 _5 tD ] Priority_Queue_Braun:threads=4elapsed=20.811cpu=47.856gc=0.808factor=2.307zXZִF! ]ŗXf1-q恈%kV^M[-\q^: C<=5`7Y1] ֫w%A<$g"cZMXaĀ轏Ѧa|}ψAō&A)7u>0DZ=VxҖfD#/E'L<^~АeC7j8`vҀZ^:o%>0DI۪ >.c"=*a]v ү8H7_n5d ,y u 9Jݮ? rS_\bKͰ"bF߅)$dn-ͬ}|-jձ$Te~Q7 0oSj=P DnkEZcQt"w#Fsl`f*3~\|oȻ'+{$նl-D.H֜(kn(8׀خ#MgYZ7zXZִF!  ]ŗXiɟ1]" M${np^PTܶemDb!م'Z@ ۥ/Rö ("LŒJoESsbF=Yc)NZr@N7}rgYZ7zXZִF! ]ŗXi%Eb⬞O:/, uOx,¾&k\޴:LY6TY;/uFOcʀ>_s;$F گEf1ڼZJb?aQdbʘ* IIPMJg+jҟ |.9Z<<;Ѳ20h)z`*ꉅCCytob{U ײ\]"z7xV grWl; 8*/vvbt< k{'kH)Y"SyP t&™\սP݀G5Pz![Q;BU` +T XP"~4LaxLxS_R$>F"[S(2:rNچnL_Di,Ƙ;Y,P't϶o xۮ}Wc `H%4nDPk;G֌<ң'8A-ff?븷ؼY_!KĄ/>g?㙌X\He'yɢ™9P0Vb"fkpL0 _Rv:`-Pwy,X4ܻU$ K٨ z(噵qKqRTUI1D:%in{ܟ}@ nRg .5w3S.< XwdF6΁U"J~{rĒ8=\nz^$, @aQMc329t UnheJHtF$W 0ca*4a 1{ԅ>}.śh}s-Z''hTn0o%-f>$判u٢~Η7jT47AO=}y,Kl[+?G1J|z+,kD9?H3iQ >ᓦx]|N~W"kzJp`IMJ9~-0y(f=O bHH~.=rhPj!/G@y S}lR!>.rOio.X.јzlkf|K:{$Fl%kF(a;5lx6<H^uUQRΎ`'僚H_@cOM{8d G?ԟYwNErP}=Gvw<2ᄤ6X\C SKc8Dw;8`De'Ek2p ^뜧IL/rQ$8>peRYwcCNŗ^>Qsy{8_^'^u]V X[m]F^7§a@ηȈC܉Hf=aX_T!SgYZfad959d9341711574690137da38d1842e9cc3b7487d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 5cd5e5862c7bf9500dffe2baa45af19637eaf110 5 Priority_Queue_Braun