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  M,l ]/ Functions:threads=2elapsed=3.015cpu=3.892gc=0.276factor=1.297zXZִF! #]ŗXf1-zȟ(%xqِI^j4Np?Ϸ enqJ΄9xql3H =%Rq퍨l/=Y@%%m< 8rJjb9Tv UgYZ7zXZִF! G@]ŗXiɟupX鑅H}؊tUƎA럂ܼ'kbi6!\HnN}YZ7zXZִF! ]ŗXi%;%pqG.(E}X][kY1o %bPw ֕)4: @:WݺFCUxFmAV.w/I-GRY<{^_A^E2!m?ĺD Pd RY~WCu賵@eSRFQ:,5l(rе:p# zmf{]k4OSg=`&e-{߫XE{aP@yH38;QJk)$VN(ĄL}l_XC Rl 6ᮌ\\4 @‰ Nc~kg!@ltҟ_W};Z\[Xp.[ݮaE&tL<ȌPBֳC<\9 Hĸd{Z?l1fqMlPC'/+4NW _#5xP!* gYZad8fd6e0012d22bb905b5506bba8aeab6d16940cc3eed4da8d2aaf2ad54b900993bdd6f7717404e6 f5ae9f289847647563f612b35004c35ff6735c80   Functions