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  n l< ]S IOA-ABP:threads=2elapsed=5.605cpu=10.388gc=0.216factor=1.857zXZִF! ]ŗXf1-qN50^%6977{I? 7^9GPUp;nI8kԝ09Mdo>əc4d kWD ˿,wsZ d*]K~Ƒ=,=߫K3qZ`Cq1lE'j볥{ٹlso rIwFJ/Mh'xSd27#_Zl׵xm.Ԕ3SJH1r!h4?enpmNEV)!=TT\Qo!. ܴ^9*k/x`p~N投-D'ļGO,(Aja\gYZ7zXZִF! ]ŗXi%;@{iTdJ SDyZV|7ӭ,n!fry/z'%ؚĚEƲ=+%\jI O 0xƭe?;9kD#SRdwKv MV:;B5kn2S0$,) Vdx^HRe\څZ[Bk>qۦ> '쬅_'ƨwf<3n=c򠢑t!c q}2ym,ަVAwi| aq'MwԥfFlB5&6# 7 nwT`.%w},:z=l9L(}y9@CZ1+nxqi+tСMbPT`=}q eqsbRc34jXѳ x sW8ՖN$(gcsyYtSn$]sF(?U-L=Cׂx=ewIYΑX2j㔿cmŃ8aLҜ`T%V#G]7Mi6sy !_nbWZ[KYl2z)X*]E7[c7gYZ005e3c655d296f086d06c2433ea747e7d283db713d2535d0e4bd099c4cd2accf026f19c1b93bdee5 50545c59d9a0cde6fc6aa2a10bdc86c2adbe3a47 5fdcde6d18a35eda1496fcb89eb0b0641ce2cbb2 5d16c632ca226aeaaa68020d894244018ae430ce   IOA-ABP