SQLite format 3@ . BBh77otableisabelle_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 D1 $\< ]S Valuation:threads=2elapsed=59.756cpu=93.088gc=3.072factor=1.567zXZִF! 9]ŗXf1-/6vR[ldco^IrT,^'&$vҜ+A\3, 贔ܙ&0|%@R)gжKj–"(Fg|R V>,,X\2O'la+QY,-^q>yeaͫn z/e>qp@k^2-!iv. {Pq?4a5s%YhAj PͫIXDI}JBӇTr-ӕ>K 6vPh rk?,M…( ǥ@OZ8t{۞;RcS1SʅoݾqBtzSuI <-dU!Q1j[ލON*74 bc܀`w c;h7+E k'm ɫ6ai7 Oٔk x:SLD8Jj()D 3P+Ϲ%*m8SWt(1#a5m#AMm+k#  #`0rEU]XLxCƆDeU~& vGyՂo35 *A6 giRjpCErYQyfT@p=NTO.}bY }x"> n?z]塄 ܒNS0R05ܓ<_GC!&H椥a;_y\[@iT3TψR; B6k07,(QF!4zGHU2yL# ;S%02܈gJI?o<)XզlqjtKNgA^ $L<cȞԜ F œb$inQܻՊ$^E_z^>!b\tm sűgYZ7zXZִF! e]ŗXiɟ9tfZ6Ͻ ,۪&FCƝTWrbr%&s2 0L7EWn; 0ez^+ c r輹"ZnN۱gYZ7zXZִF! 4 ]ŗXi%W~ĕkN.JI.AU~+X]Z} *CƲ\fL;QA!JdX?=Yi %pHdEiD %msT{M`U%nB.u_ Yv?XPhIo-h&3v^*!/}tQ+ t;E.}S2ԗEёsz!ESGUs3c>A KZGc]>^;!4*T!z}JsWne+Q!,?۵}k ,OD0a jC3ͫSppn,^p= q,˱mʓ{)hI@p?mj#"476ˑ5d1/zN݄z6J{c3w_2d(dv <-# s"ub0C wKbsZخ1*8rCD&Xudrzb5og'X>ۿYs>p|M'nHwNZeXMy+uظ[I%{%!g4Ţгןsv  1:x.j&H:(!M>Z-W}uu\ j p@BdYB y<'.T\uId3S_TW 8ީkTn ݔ;zMTH~5s~VT\Ծ`Y`Q Msg("ADv* l.P|zOHjwQj*A뽠+ 6ћ [-@);WWЩ)"M 7 5Z'3!@4 ]=cGwj/Mn5 YO/%nޢoV|΁ѓ(ꕳ7m=Ը:gдd+jm a2xQoŔ.Iz۹^Y-d9WgUkpN.(AC@d+9cm|_!}C PP^lhw'zʳ)8!reUCK1Ɏ X k%R\n d?-<➂_[dX]t2,X4@3wQdfd}XRѓ97yWF7(jZ_)}N3ӸDx-0.Sn6d\r~]1" չ',5` ZD䃇CUfWIlf[K/*.Uot8"GẂ3V8T5P[Y-B?GBEH˲b]1B׌0\bLQcai \w^ӽX٬%cTf 7;5<}>Y]Y|羻 k <k t>m#-J/3|v.bڭ w}I KN"9-ɸL&UYh p=*b Y\,B>(C/hmMΥh12p&¤5cWgyh~\ACn;Q6]PAlsck3L Pߛ'yY'Aۗ;&g_6~9C C Ⓤ !9*tªA7+lt?s$nb?,=?+@6_Snѯs)R,,SuqA"fv0o8 xXAiEL~2m-*D~cKF&u{>N?`}:9Y;r(yr آcy1D8[CB3ji6'p_ Q8C?VeT{&!|Cl2"ch(H;T0CM`NYF %Cˉ鱰w 6](Oߧdx?vl#Y)&_0@S^¬4Fsه57C ?ѩ%n0և7i 1ycHDnLЖ$(G{qbl 쮲=[FR7mzhvΡ0.W%a~X$]7˭4#S6$2o_6B%DžRny]o /wAl +í"^摮/NRк)":#(eNDǓἒ( eJv Q@7W"0f9(ITntvmW-Fh~;}ǟ @Tj $R)!Jny;BQA=Q{cI1ũHۦX` 9 o˽>X;S EOz\|J XKlTL4^S xˬ|dshaJTq%@HX};W+ fgYZe2ad2cf55d2cd8fe5da92666c9933f0de064697ad6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e a6afcc2426fd6b701d456a4f4e00addedffa6cfb 0414ed954075ce69e44b9a403a70d947661d96f2