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 P' 4| ] ConcurrentIMP:threads=2elapsed=22.011cpu=37.964gc=2.280factor=1.727zXZִF! T]ŗXf[&nMy&\ꉎ3~r >Hɽ@ 9ڏZ/n^H3bƈM 'b! Za!nWB;D :k̔QmDqEꀢb <QfؗsΤF->ŽN&za43"\m}&eM6^LHvgnr)^v%B܃+s}ÿ$,Yy K`a'v\ĕ$2P]{>-ghD]+MGU^nhsmg̖/j^ݸ8=J)fkJ|WRO/ s?+%8tggYZ7zXZִF! ]ŗXiɟv QnxRɢۏD?w`" 6 1FVNk4{MS BZ__U%GYI8\BRB8L$ ֻw-!L,(O*Jbc@< A( 4PE=( gYZ7zXZִF! u]ŗXi%>gW R$d[XV{߭DHKӾX,=N<ʅEC;4ʊys[ݏSY==-)6SRĹf{;V.K(LsK6uMpGUVy & LgR1HYx do2mL1)0TWq|L=?d y[Ҫ,PSω~}r!Ď'+^T!f㑕 3` ;oݖfs,q=3&;Uǹ\1;%P إG`6_Ħ?[@%Kgђ$6`\0`[H1wxٜ'?3U x?:]JD(%ϬÄZrMU c+Np\5.\̊rL}F;=EgА%5YPi+X˒Q%Ov|`'7YDN߲ckQUbTyWf&AW_|ԉ.z qhcj2Oby\67`2_)$v \Dupdh m7 ų#Us/bK!eMp&`fj$%5QO-ؤ7KN߮:.0^'dWu@v+>0 ˝dNbm@D(ȢԢ>"H yQ\r ս@ iL>\,5tEbl5|s>0L"}$~/nNo>p8EǑ_rSs2Ow"cܢSpzļ+AO ّ+ѴPa.^ ~2Ѓ%WIut8a]WVv1,u}gnj՚2Rlq?Oj-_e<#U!ЛXvм6_(1Q\agKb#إwOl]x=/1ˉ;^{4Nr{]D 时oD7- ,"ݲpVX#/$MWN-YZih7̈[ 2o\ u TwdI%WrTs4@ِ]U!0uל`5Eu@Y@Hb.?=V>9v*_8-nJ}K 36g;[W.yl\F|>G=3QoQr-:~,c@ K"[WĆ o% v[ԧ!ro6!>52 *ǥ͗*uAO*u'>GI^۩i^7$(I-lFBVY:عÉJ69Iǃ ܬ]=|B4:eI_V,7~VN//2j~~͈Ζ\h/y9wM /Kp /55s^C`vW"oWQi WgYZa01bcc42769c21cf68ed6ee253ce9a9b1fbf3a470779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 47f3e547c75db7767e004a4b015e520c4e949d73 ' ConcurrentIMP