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  T |, ]/ Bondy:threads=2elapsed=0.503cpu=0.584gc=0.000factor=1.167zXZִF! ?9]ŗXiɟDŽ4X.jݐ1GF- $|OWkW#)\U@]}YZ7zXZִF! A]ŗXi%ή++ԟ9CiNwև?a0{k-e`.V`'Hyպ,3VQ-uq`"Be[j{fIvWWV{pn@oFMP#Lh-\Iπ(X|S܀?mQ8+۞HaGPCm zۢ NqπpTқҲEp&=ڒ?,+c:AA/?gKwTyU&Mh}.VtV.l^3VO.7-';RZm 53J=י= hDm'4Cָ!NУbl$P9^S-m:%lvZr!*9Hׁe*<ͤ4=sẹw4Cr$X^*бgYZ40ebb1cccbac74b0a91c57977d70327c165d110b00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02  Bondy