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 ) d4 ] Landau_Symbols:threads=2elapsed=9.288cpu=17.700gc=0.824factor=1.917zXZִF! ]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1HVs]}qj/F;w  ͸)a;@?eNv RdI8kX >DAb!ɏg Q؅ |t "~ZnL`Ug`m<8oT/gbh^~_џ=y"REML\l'6%ȑ,( Dn8$<<-`P5(&(T$=B=ri4'pN%;ƯWV>/1b ˦TISj9~F$-hŵ$B9i"Y)4kz[O,k>ńIIvj]*#FPgYZ7zXZִF! G]ŗXiɟc'od9m1ֈN{y Υ s?L~谒qŵ\hX๿61AkhRf\0ku_ ͨ"TC4n0?ߥh ?ʽlt^mgYZ7zXZִF! >]ŗXi%>gYKDs1WqE=1}*^EܭdCb) l*bTdيI ІO\ΞƼ]61^$'U_)/kO(-0k?`+ ,%U@?q5]bsR=/$l#÷gzӠ5 M"^~߷xCŚ,CvCj/,ʮRC :Tmֲ-$Va<\tg7WdPui ?c*jȞ;ݞ_Ɩ$g$p{8D0|i`/TH榻|006ѹ3u#fd-FԊї Z#`1XH>z#ٟ?J]߀RD߀F31M?-X" .>pA_g0*e(foİeۮ,щuo,Ǣ[Qh2-ey@˒ i]4iH8 ԝכ~ Q `ГkBNJ-M6O %F=g#"ӪU2"y) 0E,r8+qe~l0wGAY"7X?zKϼ3?LFP׼7{n}|LjI{C5vIЇ x7h {<[`7d@bSk(`7HѺa 0I~D$hQ[aZ&K8Vɨ$޷몒J=,`"٘ !Xl+Cq9GɸSVL|՜ݪMDQ-ټGxj 5(AѣT)maheS]ͤ`jnG7ywG2N} gYZ624f9af295fa9e51e7df33857156f6b173ff152a767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 ) Landau_Symbols