SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  Q$| ]/ Functions:threads=2elapsed=3.227cpu=4.216gc=0.200factor=1.317zXZִF! ]ŗXf1-zȟ(%xqِI^j4Np?Ϸ enbUS+ fNmaqiU:'Pyzо4(M.:N%(:6ԈѼtT RgYZ7zXZִF! G@]ŗXiɟupX鑅H}[% he9y}{xZ†L7U]\HnN}YZ7zXZִF! ]ŗXi%;L  fu;ul?ㅿy6A1nb1ش<if333O j> }r>ks`$2l/UEZZoilI"3"s,++tƈP(Q5]# JϫoFy {"n; UUuixAkԕ^*?)%IY&DI93ZcӫТ|ḇ1׋lIv.΂H{8it1^囫|wM.Q`Ǎܽb\UbLoFQroH#8~Us%r.jws71=20%a#+ѕ~ؿA #`2v߉L~xYJ,ѡ5\GZp|gy +J@&Dώ~t[8| 8O, E 3{!gz/gYZad8fd6e0012d22bb905b5506bba8aeab6d16940cd2fed5b8463a719e2f3fe546c701ac5c0e920ab5 cc137faa7d41fea458e730d08d19187f36b2fac8   Functions