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 z- ,< ]S]Relation_Algebra:threads=2elapsed=26.354cpu=49.400gc=1.720factor=1.877zXZִF! ]ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci;>vbQFn y` %I`)~txkny7j*c'e oӸ"l ߂B{xLk8xH74ո_&FYYHI~HmO~YѴs JVԌGhB.17 ("j,mǎe=kT݅aVK4Ʌ6-U2Hțc$-MQ, Vt>yؒ &Gsgi\cčU?E1>9Źb-@oYnf&˔| D/G,Hߺ)!?F{I/44c~w+gYxj>)ׄͨ׵ݸEqhi4(S0Bɔ۞禍n<"^& &\wY=lE 2jd-;XĔWOgA;) & >wL5ma9 < Q iPGT'1/\Hs}[j"w W9ڞbw1Q0Y?žK BٟR.\L_vwKSwoS'u|"{Y3sbo^ w*а fs8B)\k 1Ɔ]˟(vIe֥?m(7MgYZ7zXZִF! ]ŗXi%60e-n~VHd`4f_o-}1:wW` D5tyHeV{ 9NHX3gJ󐉶e(/lğ4oh2`U(1M-m&&iƦ,,󻮮2q(wD 5a䔘Q7Q<#%#Y wK{ұSU6֝k ERՌlQ5Pv>RJa{gAC|9څ[ Hq i >ZvQS x>^HTs$Ptu%'_]31e!Qʯ}}buͪeY{r/3 :)TDj͆v?H (L;9`k\)sNo[ӟ~W|1>*k\Mќ%8eK-~h^(5#9Fk ȅLP M7Ld<62uB1\;965Xk~i."ϋcC[IeOFF#.~-!wAas4yDڼ˵!+mqE:?1R(ǒ;-Ȑ]pH;j8dPk1e$UZbisLIC۪{XPPo&uH_ ;qj0 'D`Vkא;u'\38Iߩ(a+ŽsZ[䂛oʌ5vF7:7Ť1WO3e4bs,c[2&?N3S1EЧzqD#H IG[,[!I<µ78knt:Dbvv>Zd.|*YUҽfdMZ0e$Z8dvZ_bxk|i/,=Q7nĥR\`tQFA 䮿rҤ>BL Vop"bU/eثP'F^H>MOg3t0D_w!@*o6t51܁gMB zF\(fsZn l`Ri㻬o=;hZweo`eW:2R.*0WzjRm)5mİ =@<[S.C{WjPrۨ$Nn̈́N Dc;>DϽ1ՒRuHٞN^6𾬔ZXOmQr̗fL3g #{!d=ky~LFr4mtuz<ƨR:Rv:?]@lɰ?C;B!ЪPxU3CA(L4m+@j ToHhݣ(fc“Ng©OXdlBu5tcܳ\rfoM?0̫'hvEwU][2=+.]ͽkKA)~?<:j>.6b# O%n&jkNNR~#L0Wyzo:\8RK58E_n5wyI[|qT嗄~ q*?ŏq!INvXS`UZOu&'vi&v&Netלo@e7R! w.@2. cI/[(J߂RAyӷ<هVAwgYZ24e1ea6598b5a1b9bed65ced3758853fdc019ee2e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 e96024a6b39b1328aeb0b590a3739cbe6a92590e 94503520361565953ff0e418b98c6fcd14775ed1437d739d0c1a911050962f43958f3b1f86c05b5f - Relation_Algebra