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  7 \ ]/ Transitive-Closure-II:threads=2elapsed=14.327cpu=22.908gc=1.020factor=1.607zXZִF! ]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHlyzyU<=^Q~} S)hOwT;2^wm S e l' B'jt0Q:۳ i/oz1Mqa7%(g]bWam |eMS,oʵפe3XkoZezf`iyu$]V%Jh*t^?4 dLfY}5BLuHQ]z,Okm2[pkQoT@lx UfZ7]4sh` nแt99ҖD^L!AD'zhSY[k+d5ɥ9 H[$dh9:ǽJ`8/* N0{gYZ7zXZִF! ]ŗXiɟ1˦rXs=>HXU0Q-/ri@#a(0;igS}h^@NWJҲmZ iLA߲`J蒠Z\ٯ$sP *)̓M(ٻU2 Qn!S]JjʵAn(c]g$"(s@$LDeAtVjdW;A _ v䧵JTnfg.pXe@(3@ygkgñgYZ7zXZִF! R ]ŗXi%;Չt 4 ndoK83P{S9P :liB;p$kemϐ;+4m7Jgnڡ \]CMm,Y:0 [ͮRwaN8Y輝hFuVڦ?*=mN"J&mN;IfOMiG{Eyၛ1AWumER_0*`wu7voJQR3ĺq'PLKN%=]o߃K}6X:D$.38l- AėQ)D2O㩴'L, pZnh$oED3B/qITOYa2T00}\w=ܥɒ_dX1S 'X-܍c dɊޔx m3u3 x#Ij(EB,2ɅxL}oYRod/L|UFw(.RuwXp/`xuikA`jYBsVjZ֥8Euu=Ibs-o>A_H'씑(Xj|#A]SGǐ%OnQV7_vBk(9!RoְڵePPFk(yjצ.$c gM-Z.xM&K ox$I|3B.;ګ]n ^E'xDEY!V.ko/eR;8=f_R[6לc7 `2?~?,o^J`֘sY| l/36f 8j0\O^:h♞G3#^h.P%o gYZ7d781c323d0ffdf18984b037136c610119d8e75779d8e835726df87c7b301a8f091eddccadfabbca a29a84bba8aa29c804c447ecf6bc83360b3be33c 7 Transitive-Closure-II