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  44 ]/ AVL-Trees:threads=4elapsed=11.290cpu=42.456gc=1.260factor=3.767zXZִF! ]ŗXf[&(tw`)F~{Q$؄F;snzaJvyxC=I6NL|X `3uݰ*np-{^M'ш(BT9JzI&'>ւMB>(͈Zvk{;(K8>sƮf!TLcA8s9ilwEy@>Ws$Ɨ{a-|»RN\{$-᫦ 3Wۄvq*xɃscL oJ"M\7Wձ2 y$hISuLVe|wBNqX_XbŁYH˿7kRF ՏCݮs~m@VlYq2Amvy+qeQpp!ݠN1ܺzS[:?PEk,/KvXؙJ<"fj!sgYZ7zXZִF! R]ŗXiɟy)j sC: x䛖 RGU.Ψ4DqHA|Vhy Cq@:{np0gYZ7zXZִF! P]ŗXi%GgN%',BYk5K')h/\Q&1սWfk7t$/QgL- ?-ztm8ѫo-5I]:3ƼoPmʭwbӾZ PQt8fa,U&H_Ι|M fU7Ժ-Mx┥}^WY(Pni$loYʸ_9C5vi -GhDXK !z4nJpzv1ɫnh> o)1\fݑKmAǸʪ]` U5. H':8k Qyo_OhᏕ#eHg2aj{ZT2þV0a&9h`+iFC:s~/GbJD]ݬEe/굠껼7Z-r= @c~b%F mlWd7cv5. - \|2T0794{eJBHSTMжMLPW4wAkb +R7IM4ԕh? Y+5&rZlI_wRE31HP^[M)O[iZ+v v4 |G8W#8UDN{tJkrvX0{@P$,3X8_m\d9ܔ;T"{s[A5/2$_ѱ(LEΓě@~[@W_h%.qICi4rD9'7xهIʷ=2\ԑ*?Kz<{0=aVE)5y[ fdG9wBDm2r@:p.tI,|F.(5ePڬg <@//ok62?g0A&45p?ٴTe6YaM3ãk ƪ:+ZʤklZ!ՠt;xlz:bAdޫ `?Af1V^_4Ft >i}jU8bT+"{ϕ>ˀM0,UmAKǐɸC}O-2C#PqlW'>M}"Xn w, &`8.?j,e>}?!ʂndۄC|џM44d1̭B~*XSR~$)Hv! .gYZa1b342e7be3732714c68c72306438c2d53ee1fe41795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b   AVL-Trees