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 JJ35 ld ]% Rank_Nullity_Theorem:threads=2elapsed=21.950cpu=35.604gc=1.548factor=1.627zXZִF! b]ŗXf1-/6vR[Nݢk|m-Ľl1|}p&&~p5z> y`몔0 I%P+C+3YxsF߿@T`a%w{gB{SqNFyxt&3ldzs#a~/7*(8R}04-65XuVCr)Ecc-2hS 1jЄ/Gqe*j)_ tYW{gNL:uB Ec⦩SBr0yݒ++ENeU[6R:I uaa8UUD_@NXJ ;!QEn Q16#\yꆊ]`ՒNT]u1fW_\Z3@$;I 50` 1Jd>{NQ5w"^Ӎ\gYZ7zXZִF! u]ŗXi%6țbQ/71#pȅ@!Wb* ygh"Z72pNQ,Gkj/ƨ_ gpCŻx~CY[ݢaJ?iK$GME47S94`!MVuUDۻJOk2+ bSWcY{lF8dw(jM0ĸ]V<&glE`O2T.[hAOA8GFNsg# f2Q ,`@g ?I[HÍ};')ޣƳ֒_<4"Aեӹ3K"vDeE>B p8$de I TaP2 Gj;gyû(+9 W dTC XCʫ.ɣͶbbr'`qQ#Fw`<ۭCԶك!|kmyY}t6̓:5%7lr|P8ɏO"^?FY@;y ϤrcBۆib}zT (/5m >W>p3ɑw 6Fƒ؎ >|W`x1)8%&f6Tk o'V.w_u:lQMed<Žo-%ƪ 2ahݲKw otH?kc 88~slae`nƿ'n0ёX "--LzR!C %,VinQ6|`5d8%2TB cb 50_s}<Jcg+x̬VjѸrTp<lxVR4/!f#GfU9) [ AXE\4=[ oqE 'ʌH؎ҡNn!7nR{,5WFC2̱Y-LFR`',o){) -%GIId&ܘu .qD :N`eVpwx s%˩p{7#O16I`npˈĜv?ze%jYluj:uMYG;Lȯ@n0w<09XڦB@m j'vYBXD h4RIrj6Xf߽850'UH o