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  5 D m% Rank_Nullity_Theorem:threads=2elapsed=20.693cpu=33.128gc=1.228factor=1.607zXZִF! ? ]ŗXf1-/6vR[Nݢk|m-ĽQ Z-)Ж FִXX\`mę2=Mյ(S%:/!ϵ4P^GkX~3|E7痢>ʻ{-lڛqXy^R7;hj|Jf6[&+a{A[F *\F(0Te(#[ g`y퓗~pľz.ZGfk5~>nxH Mb)P'Ԯ1F-[7EXeL`?EZ+˪DIN`3F @ VTbi֛/Xn䗩D ֊Yi]Bz_k` 5 Rank_Nullity_Theoremh\Ba:`Fz8S6M57) QAd^NxrFѫ|+q9yL4Xl8 DزsJJḲѐGEQG `$_=?tB>t3v^YB~nD=mrv>k[ 9T"id u]0R%<-wBTJtaYV³fb1m Ev{߅*\h=;W? `]n|j @U[2 |M(`'KDNR8 ]xKT3q"nrryl_! `lXo ‘ 1dt: J^CM7b?,p9$]chcXdh)css_ۉ9ɍEԔU^1uaڣ7Em.3<^GGUjq7ACfndj&]=E`*5jheO"Ͳq7OޣwFX.ǚ^9't,z$fOҦ z rQQA32Cc|3So_%cy~k=|YWDvx,9VFbq@>`+h֑}ދoR?sdjHM2p9[q=ԟ3<ĕXՊI_JyX1]\y> m]2{XAB?]jPׁn[8-@ހ {=6Đ2m~:n7οpZ0+-ǸEV+w(AT5*j=}>QrysJQ~-v_LkO4zt$aC@u̻jqNFFJjJQ6qABM]W,`Y4o^;c&f˙, >/s0E)0;[c2kQ#Vs8EAŪzdvWnsr&i:߬@[Fbd1~ 79#6LG#^tuEO\<0ߖMC֐ˤ'r]5ĠO!4]e$*]`;Qs#-B~$^o$<}\z:I=>:Gv=zxՙS%"LÔ{߳:kӿ2? i)/!a>ySttSs5~apM&gYZ7zXZִF! n]ŗXi% ՀےkyprYcE CI?'k}/%˗kYRG 5 褼-6q=,[QBl[Z/ǝ誇t_|1Moxkr]{ :c5é'0;¹>мܝ#=ϵRJڇ GfN1ƩziFs=鳁, x2/*,WʑP}kb5U A4dX&JH7·˳?ާzdNh`BdH1Z7c5'g|5@l$`#eHd75pLӥ﫿pX O_==m^]}|fSF̨ggUTj`hHc@rJ2|5.O.$q}~2]Aǝtۏx1f^|YCvs0KTG{>F$hC/l&IN+ $- ΔSrSƏe{Ajtl/W2WCC0L,IA{7 W',"6cvijn? 4C^˂l);h`^C$0HW{ E,&'bO÷hVsq