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  * *K;,$ ]]Stone_Relation_Algebras:threads=2elapsed=65.409cpu=114.524gc=3.884factor=1.757zXZִF! Bg;]ŗXf1-/6vR[]o:чR7C6Vc_ڸcOQS'u'H#b LvIz&,)nm̤'YDyM[Dw02⛲[Zre>wOhD#߈RlF`uv3uKT!D:mASE': \mr'Yp1)Mx^8 {sVbEzNOMđ[jq8R:!_5'Ôј9VQzPw 0!b ^XhjG:c@2 rk%Ĥ2a<H\^& FV:]:%:=)P1UQdkfψK 5VK&о_L냉/zD4_5zk1|&|tq.ޓJ~=ңS)h@V$2&Pgm!ɦi(oozjT##Lbwl9ֶ|~&_&Z~ɻ`~moCԪv3yv-_2(銂9դn(!z}vU{ n"3ThPI^TSu*FF~UXoPWb`¨Rpr(|| lxl KޒWZFMD\iX!)=Nv@I89'9g<}' Ii?Kq3/:,?:o҅VdbC;vZZ$Ɵ"AT.o]9\3>I)9~D,)q R/0H5c78 {lt-io/; ȕn^w`"KȞ6$q66aޔW?w* h5\KIlyןXM(|5 ̅&}Ȩ-x٫BB&宊e@&O7(SٲOWTJ6#!(VjtYtX1+͍kW] ^a抄 K׊HkxzT频U&.y4YA\yiԆZkN>zCɞz,@\tOΎXڥZE}rѱ֏E žl8oHL:ZF-ظB ւ- X_w*7 _~ W훐sgd,Hyas}#9m.==#mΕO6;Hu<"I$HyJ=ǷsJjٸvAx ! 2jgYZ7zXZִF! 5]ŗXiɟ3:WX2V^M '7xwB.]Y1(Z)x2R힪SXo;L2,$v~ퟥHtݸKKZK_kb D͡SfDWSeBeT PtR `KV *R$xE⮿6L\i-u ; Stone_Relation_AlgebraspB0ʒgYZ7zXZִF! @]ŗXi%ή*۩/Ԃ4$L(_U|¼[:&aS۞OCVKϖ;$F|w3 Էʶl.6Oomv$(xPńܯo7sV3ےYn/i=r8erT"EծO<œЯauT¾K[- m-8/2/.vKcl3U\T qVJ+͐0.3BUu.sd6-иrm>G59qfT\]g^5>G)715Ҥk+ U>̉}K, @v/IeX8R !{xyߖ/"67"KP8!BQsl'a oAϑ3)c]lZ[k{+g#02vJi%?h*c?簒/^< T`$1'BX)I,7Ve_ac2Y3COX9ٿ[3Z]~l/h~ Yswn2 Y.WTQZ+u!A&H4TЎQ#ipFY(1tF~H7[f"t&J׾6 ]s6vo=퍊lbǺ|$M7d,_Zݼؗ%J )zI!k[}*qk@4d}~cR/mtL 3zgN-ԈҌWhSMa1!+>4P2s tkw=#8#n&;Uq4| E|6%eg~ dmqÅ{k#>o<j/]b-b3uoGo"Ҫww\@*S"WXG>['&ˮ_ Sc/KnN ;bh^(+#*^m'75h3&0fQT+eqi"P?֞'4ZATXmDCrdHKn"kd$[/-¿cbo,4NKLP47+G0nµYv%ڼ?xG`b$'C:$HpVu$ҩ]ϓP+^QAdj"+YJ$w*4@z145FZб &qMǜ Sw~ebtӄ:!?Gj)@M6.M^5V[&XAO) q/\DStMDS,sC|쿊C߅ugZPlk$TwUm{7ئ᯼IM@LxMs)Qu/3w0=i_9l Z^dM=2"Ճd3ɗߩM1pemy,njxh3,$q{R*T847KRTh~"6N^)kAa擸 v AL"H`|ՙC-,De07+N-AKw"ȂF2HU,"pmto'Af^Nm];eaipN+Yf+}3~r}[^9лdwïsW:}5V,k P 7[osah p|Uqr섂C\s4n&qƴn3gg=?{ygMࢊw!{cgLƜuKh]NƨVpcL&a` ]\v$bn1K$%9 GTlCd:üo ;!jc/~wD%ݵﷶ9򯼤ĊtLb]'+t+_7`vy68U[xyTiRxN^KV]xz}@p$ [%I'5=M%v ۿ"CE1]K!rCp%YtG٬i Y]ONrd NADԓㅑ-b,@le'Y~Izeo+Ĺ%Su"|%4cLkaC;⊋g檣xtR-/nfRgyQz3 5uEnyq܏H%`d4ZaBA`Arhp gBQ_*nրiXwkדyk8K(2rշ~R؂drr@Q7ZyJ"/X-*k@Pޘbo%Y~&Ss>x !ȫgL6qVV4-LY* mj}vRKyW 8E0TbS]i4(LRzJ$"W#d&m֑2LKGQ$cN ٷa:U˦h4c{KLy0r3:wHM ~EHXQ$ƄR>yFmagYZ5f59df4ad2ec8fc373ac6ac431b1fff86b3f105700b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 aa7e75df0f088303e0c05254a601536bf391c4ad557b2a6b875de640796216f142f9a3a4e541ffd7