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 1 Td ] HOL-Imperative_HOL:threads=6elapsed=36.521cpu=68.820gc=2.116factor=1.887zXZִF! /]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvi} 2= ~}#@ z4Ĝg1y  lO3k5rp 1 HOL-Imperative_HOL  ]%?e# S'Hƞovwz6/D$^EtkM{y(2[d"EZH΃4q^ ^>)?ݱo5-y;Кp_ufE)r]MN߯,oR`άWdlEˍdmZz-%%{mS)j sJ]!nou$[xdن<̘O'>AjW߻]p&R86}_^TAvs]oi ktrX_({޳`5.Wz J){o%TB%$3i#χUVRvRKfX>e;Bp=Gbmr`B ۻ~[TJ p̿`h # lbڈrhr$2VU !GsS+ÑETLpy<@R _.gYZ7zXZִF! C]ŗXiɟ1nhЦx"n_8N]( eOtd;ȟF6 %|3x";S5+%/.__hB3a⑄æy9α^@4p?-vTGü6 @DD8mHUDR`'E@JCT¸Ud>U56e7<lƹu!97~F]bx*cw(b : %Sśb,DEFUURUu`{U}_ [i9z9a~ʫ$r9GdUƤ)G"Mpx_i~J llgYZ7zXZִF! Kk]ŗXi%@`c0Leld4ѣ\͛%_#R fٴ5Yx\GOQ١Y?ۼ;:ɼƦ%0<0gtaus #jGNlag8G2 ˭7I[.j%8׼F؉xLFNUJ j}&?sktxQ!<]ѱ}֯a:Z'H 3w|uݾl2^iIޓh*'.~;i|f2ߋVLUNހ>ɅMe>g ;WԲC8͡ZDj͉#6vDh /)`da:;E S]'5A>5褹thzێ; T6f DTfnZr:-h2"="6 q]J+'R[k! ngX(ǕYԠz@1ψOa-F/Lh"6W99B*qUӃABw7evvʉ/x^&:ߐs_մylӎ K*M&dRcRGD[~)I5ckcd)pNѭMfHxHd嬚4Qҕ.E ޕl&7.M 5Nt AAmEK]=Z aq@< ?Մ<{9nG/_҂}2'<>A9{+T;3^%q$hn/ Q&@WrA1[ˡ.^yѪ'ߗdN-` =Sҋ_9bF;ꃙ!=cuI9maj;zH 9؎Sc^'4~KP_}#nVu1ƭ#.(MRrW=AV'Cܹ x/V/*D4-峊 *>N˛ p sa귛pT&=5 Ö6M:kz*k h&T@^QIS\SOJ(;,ঠŦf"QmGWmAunW%M`\o[StB8ɗ سfkyO*E0mT[;FC.wfAT0q+wְB>P{6Yغ.\>]=Cr6uo#2Nr@(i"628MdB<7|l^&Q-=پ(+$;]vMqy EJ+|YS7)8. eV6P]q  nܜrpv*-ذv\-VL[Ҽh p_=hPb |~Ah_ d ZT0-]Qd(%)!C km`{h:g?81飥nIJߢ$k'TǚT +@R~$mz6:cVNݹx}w: n;%uOoH)s.3S˪c)` H=ċe\u~L1cʑ`V>͓ߊlN+oy+#kw\"8ɢv; \{Mmv@u\CnMPiK+0͖VЩ(#b7?T8d@D?h.RYu ɯ6m"Uh~Hck&o\ly--a}XXdMh,銃::u =" bܼLW9SssKaE_<464}:B71BԱI;Sڴ]HK6YI ec&r`γ>8@h۞AIn rG;z%2ױy;{>0-e=A~73Ad݂ T"Kݲz-X1uy00VPٶQ}y9gYZ2e4966b80226a5e177ab9ef5eb2db02c68df3b38bcc4ecc5927ed0aaa25be4ff6aac53775f27264e ea5f5da5cc0366d1830f1b8a4fbfdf0326e82ab8 c43525486ef8162690ff38206396b60b2977cf45