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 vC L|\ ]S Comparison_Sort_Lower_Bound:threads=2elapsed=7.512cpu=14.428gc=0.572factor=1.927zXZִF! ]ŗXf1-q恈͐7ӺV 2 CIMIIeΫ=_J#]Sx!EkIwv6<6p,VjM̶m26N\Mv[ lNPF[` Z\ss7jL[+dj]з;r:}Z_c5n`Ey9[%y:tTXft;UVq`K@@՟DB-yTr~)iQ1U.VB:'/a9Ja^́+KWlFI<>9|sa) kv>ѪwOZehώK(A  <ߴzZR -YfҰcNcgYZ7zXZִF! n]ŗXiɟFTp>>cP$qXLE۹YRSvXu"ҶjlDXX3#?$T}tQ&ߦ,56GoSAs$t. pyIC9lwM҉%#YN: hy7'[VVJiu&P1|)T&gYZ7zXZִF! 4]ŗXi%>g!P6Ssu}YQ ~vfݒbk_O%^81aZ&4!V!MU{c?֡;ຫ.ЅA@^BaVBXđuZnpbڞ[1Bi\ݽ^j7LnaqOBl3Ӊ`K#-22+䙄nbd+9Knf]7Lqto!;Q:aQ 2\ ZpfQEfB_s+yy֞27v*DtD8}XՁOy#܎Kf`^)Ny='xN EBsH΅|jP\};:B^ 5keb7O$") RLNEzN7=Q'^4/t337fs =Za|ֿdm4[KOWc yjyj|}0Lu=rbt╬@Loۮ$_%.i⬲Bp@-@я;).|C)2/o8w65`#F)`-vjrqr[S%h;|Qܯ sJ: U|sL l<o8:JQm1NP<6i ':_a].8Ґ+ҊV^Kf70VYl* =gd|}VhM'z'6aj(;[d[[Qo7po+8}$]W+b(BĘNNq32q>mbM7!„=M @N܃p$'F_'@c#mϪ23O=Hݰ9I·* a ;q2BLo!iʚx gYZ0cb5974dd097cab1e9b9ae0b275cfa694ae045eca70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 c9f2b6fc1bef0792efb824e828e8e8f82fe54c91 c1ffd71839e51182616b70ed8dbffa90395f3174 C Comparison_Sort_Lower_Bound