SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 22;% <$ II Stern_Brocot:threads=2elapsed=33.052cpu=54.028gc=3.532factor=1.637zXZִF! :]ŗXf1-/6vR[]ׇvb1߁ݶ)ŤŬSXѤ!ھ7ZJj| $S@f )Xl5[Br4YWeАpͧBD]BOŽ%Tp=”F8^d($l=}_o%?lgemEW6yaxW$4xfMd#^9DŽƵZ /Ӈ0c[fXnZ0j'r\czф$ޒ䏅34o Y >ä|(Ldvj{d RoI<Е0U6_+eE{8XS]p6%&zZDm9exsu"4i:OԒUVkgv-STc/Aeq>J3gcz^8H*zk6q@Cpt t%l&* &.|Ϫx$mΘ_?(] T/z}hf콎y)Γ%@YJ>>KI;> eDZCVI:jx/Ο,*Z*Bs}6' QљTJ*ZAXV@2 ̬i[}^?G48C̠v0h" 38FY^skز .;" zTㅤ}%f¢i纝m$WgމmҏEhgiN''\"3+V/ũ +/Jy^s߶e!) ugYZ7zXZִF! ]ŗXi%e6MJZvr,DzGB:!.02 xK|4XmEַ8E,&6l/|t\E-: ż8[еRH u3܎W\ْHK|F$p?}b m%#7Z4,R &O1:zr6)x˪1Fwri֑*=(=pjhA[u+4)–^&1By~Y.nwPs dV"+{m|,HS.8cUV]AH=j V 1WhV2.æ*ϣ zzpfkQ7@v^\UiK_ 7Ţk٘B⚮!0?T4r)A#G#E4r9>KTSR]2P >67s#_xM%To.NmQgEQGFe~u$ۈ)Lvϓ#JNw 昦h`gjCZy:V7 vetu XB^Nwge~0y݉ĪȍL^/[*P ?T;ѵ@>Ά?&d;Pf_/v{(41BXp0$SB?֦vQʛ*d&~$.%_-h*/V<×mkM{|jqP\LR}v7qTN(頝X)X o~'=b,^q"M8b5{&.q=\w _.5 r~=9(%Ru82]8`'h=i+783L1$'KxKI$\A%.k(u* jP{F&[o6]GN&3&y 'o~&V (ށ13x|eT}PȿզαgYZ1d674607b47b0e5fddbe94207659c2ad64bba092 9c3bcd73f5772e14e4e0ebdefe08fc56a83e9114 b048c4c894ba192ff4495d01de6dd39d08a420aa c2671cf74f5bf1923a33103584419cbedde498a3 cbcd70e2dff31dd7d23a91a5127d9ab3987ffe00 d419a2f7542de8b3837a1e8dc193b025a1b909b2 edb134994f175a0bc4e2c1336ad67621ac540f1d80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c bb2bb54135ed42cbf9b16f494e9081c8660de074 d0588517c8f6cbe01daa7d05f7b6fd5a31064a65 a457760b79716ec11200989778828fac25d60f84 fcac140e2ed6c6b2ea8e9998005167b391f27b41