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  Q Q,1 m% Transitive-Closure:threads=2elapsed=3.755cpu=7.228gc=0.240factor=1.927zXZִF! a]ŗXf1-/6vR[Uy{n > gA[@K 4Їa]#-$8<] p}_K¹L"IѐD^)QҎ@VٺSO0JHOٱ;& Ø(Tݤ;^ISnjRB5xCUZ) JFDEuBt{6vń&2%,PxV9p+ҳwXS$gYZ7zXZִF! ]ŗXi%6u>(Zb_^{졵⍊8 = 4EuzO܌ʼnk>\TF5ʹV$)%ͣ wN "~:uQ/Ig6&;[FT+;ŨY֮Hna)ZYd9rly6ͥL$.D#|Qk  >MpIPUO!˰Kq#CPVm7$ bi+$K)[SsTIwyJ{KVvI hA|ne@&84LO3g~Q[Z^8; HcnZ Y("@GF{a/#n)ͷ.Ra\q(C|f XZod/KZT_])w' P(3[ZRF w1ZDJ\K 倊6U\"mmmݬ9%05˜ӂ;(a[/YXF@T$&ExU#!E&3c#f(RjxFf@Z=wcR@*`l "(Fh,Zߝˤ~DäRnZ6VQbXX+o=)Dۜـ7AdSgYZ4c36132a2f64e943f2c1df1fda5a43e0240a47ea 57d832db0aea24c58f93e26834b9d0b95d5f2f1a 609e7c203fab9c1b15b154da117a3e7fd2df4fda 6f9b654c00c3b3831c2295363b420f3434de18ac 8357add3030daba39d07599599331240c239884e a73e6f31a63992a1aaabae1d886da29a4443a823 e11a13098d926e9f1c520c7b8af2fac038a923ef efd67b472c3e3268099a451e297bcdef800c613a f54397db183df16967fdc6332256a0179adde779e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d 76bbddc77a386aeab17d605c97f5b2549e5a7e42 14dec19a4fbebc3556e2960da585152f9fa69c2e 7b429c544cd316ad7d6e9bc5224e03397e6a58bb 1 Transitive-Closure