SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 49 T ?/ Locally-Nameless-Sigma:threads=2elapsed=40.370cpu=67.924gc=2.112factor=1.687zXZִF! "]ŗXf1-q恈ܗ4ޤ9i bdaQMFR`y4ˮn(No@2зʂM\:ŽCo z1],$Lڊ><˄µwq;rn7i`DOmtQrw^H\3vul=l m'Iao&.RoP6X+E& }k!ylOsacs-=ExG%E>;tEwЪ~Lmd*$TU/hҦ9B^ qu11ccMې{Tgmw A)7Mаx f\Qꈾai8vJیnn1X[BT%SM:"}5-oGV{^-MAj/1L—/ ܨi'HS*pw!+*(}uUѩS׮mVg s2HUS`N2դo[ , g)tv_5d^0Ы-i܉<~iMyvfg}uweZPCqOy˾A=>is͕N6xHGWPQվ iIRb^""tP@&}]wZ`| `E:֧sD*̱gYZ7zXZִF! F ]ŗXi%}^V"9M!A^4?(L'7 Fg^!P>5V&"My$`1B|qGCeo\hi^)`2t-4i[ۼFm_Hу>7XD?Ƿ"bifyJ15ywVR }zh[:DDxO[߄e[%&34R Ҋh]n1&W%dAO( Oǧۓdf(a0qD{t[7fh_Z p<ӽA6$0$*7mp}]T%Kਗ਼Qs|)2 e4cbHׄ zG3E_tb5@}uZt0T575Ii֙:2@N>BMO)w}ۯ'.hĕȱT%,5y,YMWz):'UW 7IvXb.͌ن6v)Ƨr+fAlǃs (= + vlX@ML?\_9_|IbQLBh@|M ͫ~";.s쨞-wեb>[[>:8kKbVo™l=ظ,Fĸ&5i$.<m)H|tQ0\Pr>77D+{5\JB^ bG(XƵi ;!MԈn` -)O_,yBٴ;<[R 9詮1H[F_82A#긜=Z):=u_W5% &gɅ6wĂ L7fii+k۾@H2O[L(u[tshFORVEPz'(~ohqf82t.zD~߉ Nzj-òCIP])8nDmpd,2qhս#V\H^T{>y: KQbvēE$Q ޹m:xSC/s<;v=`@A%?_f`*6uLbu^ؿ_{'XD]m 51,䌁@[Prsnn)G=ĵ0Z,}Cf۫{ \Y'\n-͋5XK[CP cN%~ϓû>^[l`ɫ ^*\\1^`t栀r2{L#26r%ިV25t_-Bo^Z7:YU2 ZPrئo䊨tex6ɖv[)tsnNdڵuxrP&" Me xX8pk= ك  uEjKwo:G9 rC֝>obbKIeVz:a(v;k̢0=?.**G`bxQD,L]YH