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 g' \| ] HOL-Cardinals:threads=6elapsed=6.664cpu=35.152gc=1.148factor=5.277zXZִF! ]ŗXf1-q恈<-¡$johkX2I)wý 1_o^*}v B3) sߒ#ވݵF@Qz0NFx=ɰ̒~5' N?(m>G .U"v㌳ :}͔:svQ B1? +фet ȿI9t3 HYYj5|yR Qk[>-fuJ:ފBW>{5uju.g\_FC 1+vD+Pe"x] @UyirlJ)eGv*N I?Σ_QY^Kb^|"l DOsk2aL4a͔4dF@}0Iԯu7vxW靹[>3$+'J+GDV"d݊˨Hs'BMqj'_QzyNE\ؠi~*z9gYZ7zXZִF! ;%]ŗXiɟ1?ߟt;9HK?.>e7"ڔJb=-Iylm=ްֽ9Ux2ÙI4Ti ۥ+]buf?~-À{)tTcK0r:ZU=9={9蜰HB+\S8` .Ӻ4&g>lFilKIp5ckwan%P2LJEs-adWp/xvmF!SFKT ^[ )N6:gYZ7zXZִF! !w]ŗXi%6Ʀ3z[{g4ǥ{dsi!!CPbPp3.smNqXO] fYwI*֨wp+l!'ju.[:|h?N`K΁78LhNk湇\1y(S}){i4zdif4ĊL OvfB^T(Ru<ѼTnz',]8 "RL?B~!I1yh*]?{7\˜xƎ~1LTx8cd7sϭ?ñj\Fhgx7[8c)em,I{e[`Ҙs~)\ub?D:ĥݎvtWĆ'-M.贿!^x98'JڧԅbzIlYY _؂m`q-F|2a^HIf(fgU2h 4ap!lDzǨ!Fn^6'( {pW.49ض˜y/S ?[u }QEM =15 6pA&xv[NH!\үlI [Tډ}UW@ Ng9Nwe\aflI-;|ȘE:+B#=i## bFTGKVE7Oz+AJ-{ķ[WRTH_^FSvAvۿygwp5j3&kʝ^dSzN 15ƣ^ZAP»Sq}5 $D|*.&'S~(}=N2B*$gYZ2a956e7bcafb8d910c34c528ccc3f726ac1303dafa11a088fa6c022eaffd52f49e1ce4d13eea3dbc 4cef5542ae191d60b950c71717d249846e24f33b f7410be0199f6fe986b9a4c7442998ebbb86139c ' HOL-Cardinals