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 QQ,% Tl II Stern_Brocot:threads=2elapsed=32.246cpu=52.372gc=3.420factor=1.627zXZִF! 8]ŗXf1-/6vR[]ׇvb1߁ݶvh6t6$/1=xbYcFBBTP!wwM&W6E쪎ݏf ,b|K횊i\+$?ȏYߦfL&6(6auDŽplාRb q k=gYZ7zXZִF! g]ŗXi%?;4ERwˤetם[ھi6iͤ\ UA{yD}y>8MofgR}^m_(LoSz%˃D\nSN1\jGC.}/MGwDm#I!8!&)H8[|FܶR'T,XZgl. xA 2(ި%? ؓ-ӆddg'bQH)G}Ҙ u0Bտɓ|=,&3q=lU"I5v(\ReHUB^1c:"`3loB-4v ~BTeM݄AgׂC@⚐i0HaoR_؆hroi8_b1w)GC&[R81FqDv| `DCzSĵsU'i6-P3MbF`5)Rmu([-,ƍ&}5ߣRʼ.MkŔxl-\ukZ|*vuubG0O6o~:i^~-WKA >o; 1%r١; J+g2 : W69$* p͕ed՟}iJQFн_1pR#ңvN5sa%Xy: (gw_Ǡ wZ?qwi82=iHzOyd`;5^ѥxv1-ڛjnq0A1emEw"Ӳ&w.b&Kx g;>ig,=u㋗T}0XVD4My,!,"~ z)3L+~k1J{Aj [sĀ\jQOme?J&`3h| I%p)Um7+3X|NbGRDS.F6)E6tm_U"kt?hGEni< 6.ZJA]=f͟fNdŒ<υDRK;ixR@];:Z-98y;Ts |]n*$Z^5,q~ PR6E"hܬ;{> Sޕۣns5GϘpx d"YǺ'1k8 % , jimb &9Iݍ\NuQi Q4#Yo1o#gYZ1d674607b47b0e5fddbe94207659c2ad64bba092 9c3bcd73f5772e14e4e0ebdefe08fc56a83e9114 b048c4c894ba192ff4495d01de6dd39d08a420aa c2671cf74f5bf1923a33103584419cbedde498a3 cbcd70e2dff31dd7d23a91a5127d9ab3987ffe00 d419a2f7542de8b3837a1e8dc193b025a1b909b2 edb134994f175a0bc4e2c1336ad67621ac540f1ddb7c23777632c9a5808e846c4c293183c8f78938 d902304df1792a9edf11f13fc29f7daff49f3259 e239851711910a6527f92e8db31572ec8f52b3c6 db46c2d97862fb5dd860308057c1a116323a2f0d c7d16a49b695e38a9561a211a55bd45b0e798182 36f51e88ff4fa013204e7f42bfa02b68055882e6 06471dcee2df3dee379a00d39ea61c1a2cc286f5 % Stern_Brocot