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 ))T < d ]/ Menger:threads=2elapsed=11.529cpu=19.576gc=0.612factor=1.707zXZִF! i]ŗXf[&LR"fZl( tlb 䆁Fփ&9DT4}F3 4՗`PDx 7c`dFWJ:i lEFJ#4;-|څIlɇ~Uh?2:H ?|O91RW̠l*u0\qZ;ÝPMo9>^%*TPW( +BEX;H#vW8/Q="Otg .W7=1 @c?"I"̥/Dx/*J%vD 9%/K[3e'aDvjWELr+;)ͱgYZ7zXZִF! 3]ŗXiɟ{A]R90⿈ isݍb"tlKLYG`7sܻZR.j5xxGt(TDqC))+vbUL& G틘rMo/9BF,psijYK#m&Y̝(PgYZ7zXZִF! Jk]ŗXi%>gXV yMpKkvuH#ۊ jm-8ȌBKO#u~ zﻕgW Lk`%{l+>FRO" *6PYZGO#JQecuuE  @xr$BbA"r-[G݌7pni0ܘ<uJ}j006n<K.Ӕ~wߴ0s$MLΔ@ Z!a>a.:ˮ t’'oLFTJ$bj*\ީAQAg_j,i|-p@J u&I( 倓5|ddwҝbOam!=톼K-\F^v1rugf 3\1x:~m{&ؠB@ * x R9]$>!/qyͿbŗT;=c 8|ؘ(h]P3ɾP^10% !VٰmoKS(G42`{~[oRkj*AY4bͷ_g&S]vb5tu|ޔe7.IʐO׮ mTam Ksu͢BUH~}TAQlZI AoVygn,TEKz^ w(´\̆ٺp=H]A 7DMf VqYɏ?(*4qKJ;h`tOAe袢|M5-oϟ??| /c{ P,=j OrgYZ65b8c8091bbec4df7f242e0796ad978fe094748f0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f   Menger