SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 / t ]/ Dict_Construction:threads=4elapsed=44.525cpu=89.404gc=6.564factor=2.017zXZִF! s]ŗXf[&,Xr–wy\TtVqCQ-.ˏ,cx^- Gf :tS(92)Ce&>э8`B5:pO"._ {8|$O]o V`|ҫO6fBdž5_%5L8j"3D0($6-Z]-[oPzj@K㨷5V, .Y *Dca}VjO3Ez &¬Pzcvר+,sϦRzrt&_m܂c[k<&9Ͷ`3BDeFsYGʖ7[ x"iL%F} !/c:ӧ.8>H6QdNX+OF]a} P_y8!q8: #O9(l"DN"ԦPɆf֛k2 <>#VnUdkDF(Uz^3 I9'Xc LgfSwSJ>%_$8؜=46FJ/.T:`4nCˏe7T3*My4M}gYZ7zXZִF! y]ŗXiɟ*#; )zhWfLpDl VqlږYA^쬳!>Rm8?a\; NK(#o@Xo#Y7xCyM!E[-T Nl:m}wtK[mF*j7Y58 MR a-?);Ȍ;V??,P[> )YfTw -btx f}'~#zt؃2X%ȻP.#h&˗@lV*?-oT-%вk#|(!M t͕Fv=?^洘lܮ1(ܦ 薻JǖQh'fMU I5㟟fX` Od H ~˩wXMk+Rl PJ"gYZ7zXZִF!  ]ŗXi%B4(K7I[ig(n2PñH885p ^qpNMOӴT=$[$/.tyG^.@h 0V^B_!ib'+YgGAnoh]["_XpmlǛ`Jpڃ'- ^J+?cUKa$Mcqk\nغiʃY`7KXmՋ4TNJډ7@kaBx0:fk6撻5GJnv-4 ]?R;&jD_2SPGϛBFᄡ7{ezjW5]y>C+!Q3`V0 Ø;.<ΦwØsFMXeH^'bƒ*@J;u^3t3 xaߵN tCyN\W f8%+id2J kfy.Aj&PeBCow&aC\qQ(;X\raWthM+KPЎ'\\/`vN\9X#*?JqFT~I5+I+<WwFl>8tFFVrY;}6+fXLMwAQWȖK,]SUW]uZڽA`T| TM4ZzBF(ڼ-p;V`86E"lZzU7 ̺m@WS5ӲP>м7NT{f)AZYaL('N)2 ɏH{{wLziY؉3 bG9 LHZ50hpwbL(`DDy/pџI~{>OtWp0gΦOc)YYzbe}ܞgw!Tǀ:XHvWu|Ԫ2zy쵁|eeTr (%Em@LxǗDTP?֘uEr}I-ԩ ]"e{ D +#mTlvݘ[oT:8/b;1~t?ODnf(hO5zkEt ⦻ dgސxm)nDHUD͞zC~e~5xvpMBcmE:s-r#Y{Ǿ02~`'qA|/zȌ@xBzТx'ireyQu"䍽mCHmj$AI8'UBN>dd>۶MWų=fllT6%F$Y\Jp8 -K;UgMb9Ѽ*)6D<^UqArd[1>$?hY d. ;726$ک]<2iPN7E,`6mԷG}5vggVz1:-uAyBB/e1OSIė]qTdLt SMףO KC>/&{~Dk Q 5o)/&h(}' nђpFTK elj~(;`q*ξ8`z:z7dW)T|Y {onҸ\ UX'wjԂMV\jT<ܶ{ee5AxݟD3.IahrX]y4SoVVl|zu?P)rRqp`0p|1{B"_56* 5MT]ϙI7ҷ m!E{X{e'7Gx|)qw{+dz(9p*腞L&%', Xl n49t SLzW 9\ƌvc-. D\-wb(dk$*gYZ9d8d07f5f99ff36d86eae2b5b99bb939b6a52f429cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d