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  ~ ~1\ ]% Transitive-Closure:threads=2elapsed=3.826cpu=7.088gc=0.332factor=1.857zXZִF! `]ŗXf1-/6vR[Uy{n > gA[@L \A&|XBSIیד? W3f{"Lɰm O,P}7G (h;B$r6rJ@CB!d-c,Ѳ NPt9S۷+\6unu SNYsО K폅"fV[&%#fX:``~lUz8yoTs_KI5%.}qn41x^N5*Tsh 'l⭝p"l^aƗ4$Wp}'R 'F9s݊ VnJ7NbW?=eb[uMstT'); >Pß 5a޼Y1c,eAK,_cjUT(8Eփ6ųttWVF1! 'i+/: O#_b O6S_ҩ ?&q؅_u"@(bw6ONG҇R, s}("!߹Ƴ0, ɞ%1{rwY5iKa>%Rn#cD1b{VcobNji߀JO3YsK<t^ұgYZ2b189896f04a0f064937c24de447ad87d9132c4de3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 0080e44b3ecb23e316a4a5a70287ccdee62dbac6 48f8b9ff4ef4e6d4ea5aeb09d9fdde3380a7aad9 944d9606626b80a75c987034d1d8157915dd358b 1 Transitive-Closure