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 ))T) LHV[~&DE{@'qy+6GgcNj16#5*?eE3>|[z)Wgk[Gڷ9>aRm@xΙa!GQ!#II&`ImAn|o;] n: -44y?c-~=\)KRIizgYZ7zXZִF! G]ŗXiɟc'od9m1ֈN{y Υ P};޲|CՄw6X{Ώ˨"%n*v }v#$ޔ(Sd0<0Z 'wgեV~uYxuϱgYZ7zXZִF! B]ŗXi%Gk4ۭ ġ?~V?YS#UiĠ"劭!4 (K ~g7E]Z x .5yƫKQ$E/ArJӭ@*8lXӍ ͚nj%YcD։,u&7ͻS;G o̿ȫmWm!Nw*ҘYRy] ̟kĎL{#Qr:ߎ0])CޓV,@޺!eI;y:N;z6_t!Ig͠?ᑱ_ >:mݘ%xav.Sg>_i/%l,@*G@n' LW0jBJiբ#3:&d**W ^Jvp4 f; nY(АwGV6xŽD,:l;/G$U;Hޱ &h M┠:6 LBEq2>ѩUIp\;(^2跣"#Qqi CSujtk'N@uUAwD#/lX0ğÒTS@~&êtؠn>F 1,92u ׀:Gѵ UϤgYZ09f9a5d2744bb629a6ecc55200bdc0e0068e02184b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 17d03261cfa6b3f7a3b00fc6599df4c0af151fd9 ) Landau_Symbols