SQLite format 3@ .;  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 L5 Ll ]%]DynamicArchitectures:threads=4elapsed=8.929cpu=31.664gc=0.604factor=3.557zXZִF! ]ŗXf[&L #.3!R&m'\2\kntJ;Ī dxZ ][Dѱ/S3R\lq#uM^kP]E[ں3yKM){k"[{6na9idJjIuwkYxJ jI*)? jE(H&dg-I g^kz*?9-DNB½늒|2w'mQ [K* (7&SC@1PK=niHuh"&w8[I*%)~du0ܹ6\ӨUyVaf63W5m]x!1E߀ᮣ(gюjAgPNW醀xo5Lњ_@D3& [hz]N8,>UXJK)TgYZ7zXZִF! y]ŗXiɟ:340Ψ_իX+jެDu?.jT yFw|8ПGmƳ AvqFν3b| &$R&ra1mņgYZ7zXZִF! Vh]ŗXi%Iy$Qv6簉;zVDc׬K0p7{a2Č=Iz?;([+Cot>N%>F~xΠ?Gcig~MZ| i=dY 6eS!n7g!Q?gbym!CbF7ywE),WP #6;]$*5Q^*.v@bav$vcf(o*'ٞVC"3A`nM p޽~:. syu]kmbk`L^1v +ZKXv4(%??Γ_a騠oJK!։v;8O$ (φ61B~m;Ė6 6T _Ws-©ݤvU46x` e MJci[&$E \ߨ? >pw3PG3 ^~N 7t7%;uLJڃiNUU }RDn XL3 iZo{:2}F\@y8`z faMY\Tfl'"31v_*Trh 8(2MˍSJWw_ݓtrXGᵥyAg"!#7t|!ɶ=O sĞY3o! py+Aȫ4gQL.^?z&LU_q~w<8+bȑlv6̺zӱk qCE/)> Q)Z=W+*Q۠&䣘!;OH|V4(tOR2+ϩ3 Вy/Lۓ{D`jЋ"_.zg&* Zf>:⬘h EKq&2P쉊[. +Pxz4B1f2 {m 11۾D1*M9SI|m~xm$ܽ,Y*{6V|=iYE'fX*@|Aw.nN$Ӓ)&t)ђu&M\{͛u[W_ CQQ,,kxz!jbTi8>k- CfgYZcdbb02d6df22f27a8a48249bf2a830cedba435e45a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ad1ba3f00ef68917282fd2edc8c084d3c50a4da0 7307e61b0237e14e27c910d0eebd20572cd5c783 1afa2e51b00130efab340f6d342893fa5170dc6a1e6c76c21956a99744d534bc3b45910f755571d7 5 DynamicArchitectures