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 8-| +% Tarskis_Geometry:threads=2elapsed=63.469cpu=108.156gc=3.744factor=1.707zXZִF! *w]ŗXf1-q恈\T,rBV$--O:1XlҿuzVdtVBBq̹G[D+;_n#DrT  {JcF\5EӒbwA1q=Kij?x:p >sKeBI^Dѐۓ3s/$sl$vGB%/cNbjBRs tnQ+$ ½B {̈́rpkOFsNi6nE;w+,Dvv8cJ8#[BF-WZs*]=^ΆjŕZIDf0V8$5P-!wNgxy -O%cO5vgƯ=|L:qhJWWxX ")eÀ*H% |kB]Rչcan$пI5!љpұmgnsx6oAEeiDuf`Ck%=(Hvc k^TxHQY=O)uC_3ɫg M'-Ql9y\/aG.|6B&\0V9~A "=&N)CVcE8dCWHWYcT A U"bX>Dj8X`[80тn/( dHSGvt "˃Gz"o{cdz]] a]Q{~^g/8#VDZΓ2^asF{VڒK 7nS- Hx`6ڎU?l+47ͿD},Gϑ%[+k[RN M=gcĵ3. 29[3uP0gr , }r|> T}K)gYZ7zXZִF! >]ŗXi%;-63R$ 1yg)\t MkX:ɶLx|A~:oF ?niϫHVf*w1H{W|Dž$y]d1}xol4VIatxrFQ-bj|Yr}!QlELFǷU"6-@}Y^J9=.88ϸ0kGH94 d>G3gwƩ {6ݐ)ݫ0yCwFY ,Sx;2&}mj%9L߸sA7뿂t_2MJux|!˚BƤ=Oe5/4S 8IUe_nlyG>Y*(/LJd0jFMQ'tuW >1;OLM@,f#@8:X_W Գ :9V,e;9Ekù~ǎ*Ybs-g[- q% - Tarskis_GeometryӇԔ*7؋;x, {.pe736r 79g꓉y2PT+?XΝ@7eR!Nҿ8zJ;a-m32EڹT+?9FcnfF[OaD_4Ck]qLr^s-rt:j^ٳ4w;UL(o kRc=3u/ s@ 9m+R9ӍC\4A-9S?$@XӰ98ʶB$q%ɣL{6sjTdh*Ne%[Kh[2Ϟ4~&HLLJ߽&)Bf^%`ňgynD|G%9#[]X :sl`RyhC=~w_xSU]u )*KT4 vY:ޅ\N=Е-Gv6JĈ<`2)3BDtXi fe~o0xVdݥK`]n,.+5\nbؖd9HQ7-#{ YrIN5{#< )y;vKnD09(RXHF[grbp׮Oio/YXEs.lNbG]%P2z`CQnq=~â(nu)WzՑ߄ o% pX~/g5XHuDܗ,nnr$f"Pq'Ħc[br~-6 ޴ )5o]˸(\A\C;?Q88|eq\mxmPO-bi Ǵ Dk/Z ֔oIo؛_=ACFkrVHURQ!ͨE]`) Wc;Y8Q;n-nKF h$b٠N[I58->-]O)غT\|;Íb~+%E̟(+cI"q -7KC %t|6Fzd0bc$# zL3er$y ,DoR-'$Wo̽ct!N|˧DY$n!;'C͓Yba;j1\`HM|adl;pI2l HU5]$Ӿ^~]]C|nY1RDy >q`}R0fH dqHC|0HPu6P !(#πEnָ HJ-|P%c 2vVW.( mT++_,~pL=W]D1wA;DbiG]QC9gZT46cB *Nʒ.TÝܒ"ա|ifW}+g1x j3H7OTɸHxuTǪ?xbϜI+:e5M\65D)jχCeފ ʁc.LA>L3H u_A!IH*$LI|)%cGIftOY-cܶ' wu]&NpJo;3_rk7=X 2tIL{EpCiU\Uz)D&Q5J{cK=|ρwc AY*"C(zg)Vt{3* A- 9n&v>{IZ2)ٶd@[R?}Зq* `6;ޡԲ<\~RK(W 2 lN(G_O3yFVtpۋǫtGZ[J_"ųrt5eqg>QcZ sk<)\4L/KJ|;:V*ӓ|d5jHkdlۦ|٣Ut]V6:\׿hl;Ṛ,vL4%!XmOX`"d3@?,oޑl,߮:$ m8刚bbdJX8̮?XՂw/Ð[]>*nFj V"HS)H?mjbv(B)[%ҊSm?6`Xw;g΢N,S]SM3Z v 7|k8a\"'Mμa \)t dcꁱ~zl@,BZ;Ik3rn] _D?Զ(k!Xi9ʘ*sqRqgH[UpzLV|R5 uh},K{Zq-ȗ F{8d945+VTpn'}И(xрS@Z@zO\v)`('y "nd8.#rgYZ0488a1cd4c9d8c0d3e10a002b36d70a825ddab4e 04937edaac57e854adb72819c9a09bf4c37c6f13 0c02ceead20f10236d7275425ef59dfbc5021710 1c26058200be62e77f8b7debc826ab3e10c213c7 2ac2d57d8ce78f5f7020ac9174a199a34ac05b3b 3c497bd4bf20d8302e6d5a7fc35a44dca8b086e1 422c5cb07b88b52f2b335ef98f379f3465f4e2f9 78079b6c805421cdcc43e733354f56c023eeae19 7baf96c0c640e6682eeb8f6944a1d84d058f66c4 8aefc9b67109956542535e583bb6b75d0af7dac3 b6ca7e09ffab46bedb7019ec66c79805ed77ebe7 cac410becdcea96121c0576ab7dfb43bd84ebb3f d56eacc54da8449ad8db146cd8f834192ab0a93e daeeea544ab2121c1c2028828ec0635f3e0ef67d eb1ed4fc9a4686fdae67d5286c2670bcb444d951 ffc84c1be563c401109cd08cba36147d94a4a62c0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de6285748 0beff611cd94b5fa7aa7bfc129b0c2bacd34771d