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 FF77 <\t ]w Buchi_Complementation:threads=2elapsed=25.644cpu=50.492gc=2.036factor=1.977zXZִF! ]ŗXf1-/6vRZkĿ>@񥽧^n-IG$휡gH, ^#ޏޔEO-"` m3Z3E9nL#ɳ^\tGX7QZjgL.o%< I˼m%L5j#؀1~Tլ-(tׇ:OkRPm cYeyZS1Y_ֺd93S `C_ZuH'XeK3V9O GIW0<K)yrf^2_l|ZI~ğ)ŝ]Cv?Vkr8-^!Q ;іY 1J`S^'4T)]ğI8}\Leؖ.;{7>7T;Y^p$Wl#i8c;GQW]8++v1uTOkZ39h9xn'سIkl4!=GJ33Ro(3~7aoN۪R=œش"owųd3ذ){ʾ/+yč\!z+l۬%'$!7$o7RڝMmV_xB w*1'McgYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEdu@okU d._*<u!M(ͱ`zQ44zp?9&S،8.<"ڼ*!({r/]A}|C~]&oDdc`ÎP·}:?ٞZ):$sPyV6g@P}0Rw,W`M.I$ mS'-* O]:ݱgYZ7zXZִF! 4]ŗXi%;уu1fF_oh噈i<߼iR AHO:$uumĂ CQÚ6ɢm7cӌn6vh XVCDLw26=x7uC>l!URs A#0$cG#sjG5lP(u7)u{}C^e|=3x{5̶֐N@B~h;^JE{V:Q捬cI Q<iQ;!x0'*lZcN] p It&T(G%r\~s*XYlx{Dl=Я 0nTKPժL#uvwec|?CҬMOC)]e[(4Ԕfɷfa#Bemw'#ө|Ŏ+O`=RIĒDW-:_{lM<ˀmm~Do[[&bN@B 53B>;3%ظ+\ ɩ1D Lqy2yGuӑސD3҆v$8FVJ%cq>&ZN))=YaEL;*KF~_[N76O[E]t21lp >L.Em%&q3o/D[>R~HTq@ #0Ȯ}-/ 2)1F$ˬ[IU禛hS \3"c "\w:[Ԋ3 R@b<9zRgf>N6!@٨٩O},*V=G,i1bg` ڐ"#WAȪ!1Xȭ]V~*j0BN&Kgtݪ5g$<ՋxU/s (5sZ2̦9T/W}aNU-9m[vz]e3霷='Ŀéq&ԿE([MeYݸMMDkg=Rm@I`[s߂dA[F"(Y IJ+(T)pHdc6`p)`317{7ƈM|AiGL#({:j6cgYZbb7e0948021e05727b755fe06f5f93c8a4821fd879d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 c47cf66a7dd25f85d9efc73896780d67c0a94ffb 18c6951685c7a2319ebcf51cec66c7575088c186 25dbd0fa3fe11ccc0aa98717844f81a2a7e42b9e 4d6a28fe61d1944909b1e1329dd710cf900879f3 7 Buchi_Complementation