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  d\$ ] CCS:threads=4elapsed=14.821cpu=43.096gc=1.108factor=2.917zXZִF! C*]ŗXf[&:)V<2c_/:`5=^QO1κpj\S R,Od"sBx0IYkYN4I&ײ?flzõۈN.}7 YhwRhwYs9"<60}{'Jm#DP^Ч։<}uMvN0gmBRx#e{|, Xj8; ?tҽwNcK 3R< _lRLp0=lB믅X{^c CiK#h%- f*,L"4bl WlWf5/)$R1u8\o_5W /M2lTh$a(4xwߙ')Sw`m?$ӕnܘk"@7(s`)dVcxI5Ih{yB녦De(2S5dZT76t&ə@zWL<"~^ZwgYZ7zXZִF! *']ŗXiɟAyԳbɚ->>d|y@~Hw _i;V.r+v#fVRxAFsQҁ6#Kfq&n>LKn9CڿáX'/6DKE5a+WҖ! y]X m5li6<7Ix!VJ.9~+\@3fk\)dU*Rvk6hH4RUb-8I^ $z祯AniW.!풪 Of|C<>6=[8W[ǂ$dl@ úF#Z{O#e(H7)J0b!l9Uk4WMZ>1UkŸ*5MCGjiuT#zd"9*6fo8cuJ~NdILI+9伯/t9HdVFK \OT86bN7i+;"s {“Whvy6() oVp:=vD|HZEm] }*H"ێu4%^x;Y%\ƺIA} $΍eEd @5ƕ4d3,"=$ e+ JʹjϱY-hc4}xuis xf-h\-sp7$lѢoL*Kj4!JhߣȂ:kix;=OSǜU>f=6緝٠*kmJڱ)cQ+m n 0P(h'o?5?hsx^X75/krkmNNwEmWʝPLO;tSH1-DǫP TgN&{9G;4aKC…<'*yǬأ6hRyHbiH=8 gsi|@h>;, =`=/" @:XvcV嵜]N*Vi~:}F h(UB*K#%@忡ޘqmڿf,@s8EG>:5t1ZKB۝}EJu\6)}Eq,}ğ*eorj80j dT _$0ho!Ovr՘ wy_(@ϻk~ob+9?Se2x02?m`ap$Y62B|$jE-+M3'EB":wV7 MVE/8S)|U~gn7' b(: `hybT2?z(JKe-_pQ䝳Xsvgn"YgYZb33a369be230f89f0fda105c23af4d9d5f81f2e7d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 19f8c5bdc393b331dc128bf975b47360fbfd8d77  CCS