SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ;+ <$ ]S]Quick_Sort_Cost:threads=2elapsed=23.975cpu=45.076gc=2.156factor=1.887zXZִF! 8]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJtSzlXQdѶi Б ^m߇]~J1d+KnbC-QT)fbR7ԼnGz'R}"Y+ZpSCb7ouhױMLa 5hn0Xșa"(9;}bCCOiDE`2Բ5ZUEȦ O%#a]~B'.U.ӈl4 s=i8ainҶ%K:tIl-w3r8"^΄~'Gb*DTSѱzŅy\'o(Tl D(/:(N%і(\Rwsa xpɒz(?ɵr 3]4tlG!v <0C۾Yc09W$d{I0-z6梕o>j+H[WW5G4ё}^,%%XLD.jJ!Б-Z1B&Kރ/{1i61br~6^2&=]>|' ;W9 +yE@u. I=*]MQo=q2~n:8gYZ7zXZִF! KJ]ŗXiɟ1˦r!q=4!pƹ $7 .FA! ?زN X*a|;Id/S) b]@?Қyّڔ'^ſ E[gk/ƾts |d@&ZK80 vfateUɀH "mߤ.Iё(p3!`~XH԰)s!Q)[fuK o*ؤwLu"<"5V @7;Ml6EF2&(]lO%>vZo(.RAgYZ7zXZִF! B]ŗXi%>g臵+Y^̸2I*.T@NpmU@R&!fL 宬6RJ( CLl/va̠%'cT (++},RHlg|D6ފH 0)}-wZCPq1VS~rz^D(U>UԦ"*B9 }! [B~OJmi2z?!ԕ:Eȋj@,Ǚ3տm%l(z]%SlM4^;΁I؉r%~huCKCI/a`֛fuY*HBVFR2_;|*\ELza|tT*%XI*+641:Iy Ex#-)*ϯ $h6x(W0hy=&SZQjU}zΠ P|Iz8F=x'zJD3dڐhg&|iɵyۨaD*wR= "znCM,b':&_?XQ#a+#Q4dVhӀp1FS#Xˤ橔a{g}u5𿯱gYZ10a54d3e3ee618c8b6921c4334a81a0f467efa7e767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 e4e778c5b7173ac50dbf40a218cea9980c782990 7967251fc56b8b003d3640fc3860fa8376b0bec1940fc5f30cae1e3d8e091d5f2d3883271e575159 + Quick_Sort_Cost