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  @-D, ]% Tarskis_Geometry:threads=2elapsed=61.119cpu=103.572gc=3.796factor=1.697zXZִF! (\]ŗXf1-q恈\T,rBV$--O:1XlҿuzVv_[Ja Z7@ak<Y#40e msEVHb؏.I2)ŋ2 %7#er(h-O ~x9}((mEܴfYi;1uqh)ٯ2i0Gȶ{%B IۿeHJ7VHˍ+TݦɄ: qNUWdcvGkddc*jfzM9DE[ 4(9ssUk4#fyޑZqvWٲ8#$+ Ã0xEH;WOh4b.UB-w 3)\Sk[vt :@ ,h07ip\Zv k۝Q*y\ EqE|(@kqG?eZ|%]^jRO CN<(#Դ;Ċch jsKҌ;mu%mt`=>|:F~xV x-$hB?ݪF-*: zk8Eaȡgq.+KuA4DiIwt{}m&vHvPQrG8*6 dc3DsIJMmFA!tZTv#S7mY, B{2Nkw@VV1.JȮhp}ur@~colgMp/jy[JI@!̥݃9;#"oyd kEԕ+pE}}@뤃.|]$Dc8L{7}*EF"47RY!}%rθ4gp3z / uJzÎ16!Kq xռӔ Q %e\(Oubʼ1춉؉t0cj9B짙nW 2 dk6id,(m~jJb.k0(',4[}D3C'oFD$ 7b_E!ً42D_όv_ !#ԀwxN;;|!CX]{FyQMfzrɡ=q !KF)BY߭WY (_lۖ,2X^ %ޏ&VQ>'o&CM^뢎ۗ|4A)lO@DeܮT9hw"?ǢS:u#-"ϙ !ntK^5.jT2H&idѥ)Ԥ %>L̯wh `]f@m*yB7'7,I' ^yd烱\}j$bܜs2 4'B0#ְN;)av 9|2]%zO+̅ԝU(MЁ:__D}=P,8CCs?luȇ^(N11=orjY=l-l7ĐPeD"`0^[Ф73U-A}ƯhZW[l`M-1[|QpիκbcjDF5#{%_F=V/Xs ޠ z<V_(ь=ܓX"&~׭Z;17L$_{7" WP#|B\a4=x@c.E|~qdoA n쯮sk:qa|"^^ * rX/yqƶRXgf/ am.dl nM{"Su!^Q'K6|U5\&fRMi77mX7126e{$92_t\I~)fp0vk^ЕA=(ѓ(l.&Gozj `Fn4.g,d[w[N^ֻcf<GQQ # ~xJBYؖ'g:Y5IRl?::O]m 1sYh3pL 8;ROhIp^Qbԋch哉=PHw/`Uvޏb @3Tx6V}|B2phƪOC!"=1bh/e] =N;5 |W,FFQD<ċ.e6Z1U=$9be]-H|kC>:eNQEب&=i|VhI`L]&kDZ @#A^9 iSȾ̄@ ?:N"үR32!.J]Ds('P" Ƃg liLht7uJp*÷G7\T !aa(nh4`|sV:B32Ϩ^01S6YgYZ31ba5c15756fa3ae847625f04ed19ae09f9b960ce003033e0a1df248159cfae37f3521344e99dff4 e58c0b53d135d2468d83139943d3835239d94d2e 59bedaa090758dadb6cf61e44de79f384afda49e a74f7609bfd67dbd153c851e2bb135000e159cbf 747e333270518ce60c15dc34844eeecc95a83f48