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  u1 D ]% Transitive-Closure:threads=2elapsed=3.589cpu=6.464gc=0.236factor=1.807zXZִF! `]ŗXf1-/6vR[Uy{n > gA[@L \A&|XBSIیxnq3usc~l8M)EZo՝l'l|dN+6[|Zsmvj1IAQUxgykcoP8Y_zJtQ^ ߏO4 G??gJN㜇J2=~?`gs0znb;o] D45@ 5LTu5gYZ7zXZִF! /]ŗXiɟReDH$ 3gE= >3(MZaAV4Wz8swƭ8&q8 M'A,o}]9XS a w>ݘ_GVSOvb8G9O(3j^Bǽ"Ϲ}ޤ潪&8AR!gb$WgYZ7zXZִF! ]ŗXi%ή++ɔrӿ&ӓB>SOQ~ZcnW{^U]llF:Oj8Ӏ TThV+ >Y[Mb;ɻ l* ȝ/]]̅_KZ xW}Z߻?,괤9/q[HqÒZ>|#>9vXV[@1oC% Lq Т*:mɖO@<~OOyb΀Ԇ[}rӥ{a={Ղ8|t˿'n8$d0Yx.$+ϐ \[5V{| 4cIV),EP,z?!3SKݭ)6->& >|{f 3E++Q\5 oAۅx9Jf;!DުF&Q]p2GKxgc Ze`V<+B Lu\&+^]MyqtHաk{U좒PNZ/A r3} jA,ny|9AmfgYZ0de7c91524ef591627bbdd64950e2d778c2263b400b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 5cf66ca79e6302b03b690cc77b658161a66a4401 31e3cdb1fa11abb502a94c1c5589905b57492701 dbb707787ef2333c022289ea1fbca53bc9495b7c 1 Transitive-Closure