SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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| ]% Transitive-Closure:threads=4elapsed=2.760cpu=8.344gc=0.224factor=3.027zXZִF! ]ŗXf[&L_7Ae6^@ 3_9#;(:)L |Ʊ7sgt;u}Ӊ$ee wDLG T'b# +yѓzM5m]vs;o[FO55f9'r+,Z%rDJ0Hjt2iNc*`T{5-}$ΡhV f3n1^9Z}Q'қݱgYZ7zXZִF! /]ŗXiɟReDH$ 3gE<TS?t< ?SE0PMH23Mmm^)WeLIxlXZOF bA{16(nFӛbO' `-n0G;ԻZG!4@@"#` *rZh ޗkϺ^ gYZ7zXZִF! $ ]ŗXi%Boﰣ ,dׯcd xO#0P}ud{~Uq[ai RF>WAh:Do՛NwMz@"dJN*\m/'YwgAa eumT^[R2!*hPuuc3ϙz xX)kpKܴ*R`pa ը`m U@oFOoarQ +(U/ߪDe9kէ@jv!@ !n*6H ud7VTAA~}%&JT@6з;Ǭ)JXQ>TZWBpʼn!ܑ=f&^O:>cڂl*:J[[X2j=h;඄*m2f}I\R{T`!4 &4jD˜RG!]Zf RaH.rP`+In}S#4Mԍ֝u.G2j΀+J aC,`aAyݤD? N%v:H. +H 4gYZ28952a4d033ee7a292a1bbd5d94df4a5a20781e2ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 a35514489a8cc48f95c293b75baa14822affac42 e3728fc3c4a69ed7b48997a3f0572f128e2e46fc 1b2ba2f13de0fa4a05ec46de0d579816413f705e 1 Transitive-Closure