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  j j ;T,T ]]Stone_Relation_Algebras:threads=2elapsed=63.551cpu=110.880gc=3.648factor=1.747zXZִF! @$]ŗXf1-/6vR[]o:чR7C6Vc_ڸcOQ"fdt>4WH94Z߇J( LHy/bS7o c{6!P|jDK><-m74.Ѝ:& Doc i;՛H[|yM5N0fP!(ٞwFXpׁ 'wXYAogNx n+a_@me{3c8C3ͪ{mDi*(Z ڬܵCG"۩q׬9Od5sѓZtJ'&5T6Zx)Oezi)'`L6)1dϸda1}+h}I- a=y54S$ s, NYD([@ i_6۪bN=%v66 QIf !0 #` ?;b TA.ȞB 2T}MAK%C_4t9у||Aahb,K}gc%B,P*ۡ[rvYMUɦs e*[?w~~"/K;$f~ vM~<+?Ёvdr3dKzؘwH:w0" Kmu$x1D$`=y].t]"t'SB7{?t.>PªTI]߸X$8Fw|$Xj$ oxGjlHBs)O|| 6,WcդHsr75Z;wk?z-Qx̉d}rAn? Js&ngYZ7zXZִF! 5]ŗXiɟ3:WX2V^M '7xwB.]Y1(Z)xQT6F,DSm)< $sT PٸrscbLL,&Sv0coU<8.T{=ݗ;}6 ; Stone_Relation_Algebrasd3^M@u;ګYzF$)5U@̀.NfN&n}$gYZ7zXZִF! 9]ŗXi%9*];4ZZWr:/ UkOu݈U.f է68+M xۭwZbZ>>*Ff-zVٽKjʼ}7͵@yJ8 ˸Ed  2I(A, lK(W`"6p2vbD"*QP4X*M^k] ;LuҼ:ݔn(?SgQ]~9q)ŏ2yqΰڳ@ &pVךuLAoc#ӕzwCͬ4=-ʼnYD.iQJ#в3Wf%c?87Uhf n{46[Wvu%z^ay{ҪeJ\Vy 3_*zsӔVcnmYK[B[0axѩM% {֝GEo9НYkT@(ˬJvR6`/0}5龬܇'ҭjΎZ 1N#M=DùCw%8qEHA zhKDO۹>Wߥ GPڷl0/ϸ]-ػC_"/SQYaB#,ℳk[|?BO?רFba(0 CX;p:c_?\xf"y! I<2ЉFw1PEO=S(3i~X0&նdpK>(k*ETI]BB)*{ꖞleR<)zn`Q_Kބ&N|Flj=8f3i48R}7F#ڮ- IgMqU)J9x2 pS/|#tph" sZ:1 `"oEqZT#dЩ٪Agj )_agyŒ)w Diůh:|R4]@\߅y%yKN/;FWY=J5͊rsj}ZO=Mͤ!p%Ƚߞ* イ!S©ZPZRߓLNŶ)hv9(]%ƼzY)D7%~ Qyul+ˎ) 5#E1iռ|D'@3^[6^ηڛ~բP * BYڶu4e;lyQdžJy^Y{S2C'ԍN[QYRnZJU[eBhU{z~/{䝆HMݐfaEBt/mݻ[U_һ_evNL1~@?4@ׅp'[E Z gJX;i,j#"~o 6?GV.㭕WL$ ] \w4*7 *gTB%%Ỵh~o{{SFΨeYb|uծ/呁LVPֱvb%k 8!FFO5x'iɿ7j$<,0uz~GΝ磃Kvu>-~(ю|dp}ɼ/#yf&UI L_ϋBf3̎,ewiQljv/gCqoï+ ߀^Eo"%pSQcOb*%z}21?bYBh ID8m;j, mOIdz$8[YfT1|YoHJ(#LӜCZeFpJҥUSk x W|\破8Iv+bwI ϲ4U\!> {GkU? j-KYx KDۛ*.OD$ "3K\}5?J:p´Mj?g |2x8Nd^kIo=[灎7]{j;eǛOP"xmdvq@I 1F=^D|ؕJ)UX4vFpzizw