SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  e e# 4  ]%]UTP-Toolkit:threads=4elapsed=21.859cpu=80.360gc=2.332factor=3.687zXZִF! *m]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^\4;oMc7&nfjTi`Ɉ /Kh\S܂{[ҨsLޫϤ$E b\0rpgKg5;-"Tb|2D[F`kL0/~sʍ@9?2t= !) RN^y-á s}IHT9X>O D2$P*^vԁLNR~Ϫ^WZ@c?Z,=CKNA[8 poe$-S™Q-v%+Z9| tKm6a+;6Ql`hX$/nnSڠ\YX%1DZ˕D_S*&e)%XɎ6q+ xՇy׏(l$kRoEoRN%.n {0h{٥(ƶ#(bs # UTP-Toolkit  4弴$Pm.j4hJ4E 3/-1N/wOm͞6l*[yc0ٸj] 78gԗ0r^C%ӫ ͜^qҪ`)5*5ܢ~{9"mUk5lA|r6O,Hǻg>OWN 7j8o>*6F %l֏z%Cl:ui4oW%n܉ɿA$#n"#۹f=DepRAiTPttE48S=nr "4U[ 2j% 9HbIcWy&6o-R9L)4* "Ӧ)?0f qoNHtKO yVjTR* YƗqއ~!&^ .z0UH|% |?qTqR3%{r):Z߷ p??l`QzpRM VV(q3xԥKN> 6dv"[u?b`-!]\r$[(B-90N} ON\8.]~'K(9ڕߙխS]sVV83|t㪌%VR=X-[{/;&^G !Mjr4öTx[H9tvFQ4s[pU%LݛtŒD{ Lw]Fӡ1 @J,׊ Tno:αgYZ7zXZִF! ]ŗXiɟ.z+ j5P񭤠)N֍S/2G#O\vU^,઒|L 'ƺZ괿c՛Wp؞[W 6O,7.#Bd >1/}16 :/2{.!rt'(+I30`ϛx,r<$PX[I2IUZq}-nNfagzlTjh=Nsby 0VG[c+Q:!$GANX"v34;Zw+)5)O׳\^jWc>F'sl)$vysV(_ ? Ƒ^*8p PR햁nୂ_nh&|o~fҨ[kb{mM#EÅ'Ǟ1GNVĻ  >dgYZ7zXZִF! ]ŗXi%L EG}&[__8/OX uSǶ!O#&j~4Qo$j2};C1x8 oѥ"N/k4Vې$Ъ'" /M򜺇:ͽ>EW[<gp4[;@UPfw14qoS[>Yxݔ2w[P2?W e,[ǫARlPR6d9*0كZ AlGc =MK˵[NUe-ʔOkQ҃8ͥ?3G)d1W G_o4fpu7sGEGk/~m_>4|hI<]?klzP=z:za`斿 7(U')5"`[D:o Z&;Bc3]AYӴ1+9fLYfaZE#|ɴ 716HbwLnX)ɖGAw.Ws-v@I:9Bynأ*ـ2&Y1 hc{KU9n\_UP.ﲨWm~ᱛN]9jjx:><%0`96 =|LSV_u,6`1O5Zk0Jb24\(=w7 >x:\HN~]e麐d._'e+\-]M;)o1,m&8'dZ$l.lLG>ʂ,|W ,-?Z*@x;0}&;5^,r CLA( X*'Ha'tYcf w#0<7pT$˩8Pm%fT ڳ%a2mb|X=vQ2c/!;V G7\*. Df"wLlœ8$"عxr5(}@">`G Vb&bu\"xf1Y"uy4w rrAlffXə_nk2ܢXdpN~cD%פ \R6%H Q.K\EToZbum-l[φ+S}fΊvk惠$-Oi'e|Tvi<>|c' @$Dۃ/hFőmlw,3ƗQStbjk/vqG;}IwU,r[0 = %/xMGN8.j w)g\YHhY+ɾ9qd=(9{FLA74f7wbêϿ>ƧYN+VA=V84*V<7YmUMFDQfN&GB0ނ9^ Ŷ=Ԑ2Vkq1m&ZN%uX`OҤj= 傫B ׿ؐ'.^cRtISu%Fv#xn_' P!~jc/~]. ufοV ZVF~!FO-@nıf*&]ܡPKRݰ\p# E]K?>6.:XK]-\r vѲ&6Yb}XOcGk!;l(nM5-ܔ