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  B $1Q]Q/|¨/ q}h_ ̒P^ojvG4,Tj+fԆ,\T˝Q{μ0QZy~yX7 4vQyɊ{mD!00\ EرgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە| 7Er;Y@ .{:漢7*{e۴7A cM<\ m ˠg9WWm>kja%J "|=J fJ`H@^R_[NtXٳo&0/=*3wu?ѣۀibHZ7Hǚ VW?Ĵ&o鴓8~ɁɢB#3͂ӴK%#)+Fg'NeD \*-gYZ7zXZִF! La]ŗXi%@h ~9.i0G*hrlzEe 'yeHڨVDX)čSQz"dW;ky W>\ _RAB9@ңq 5,+Us3i1,ZE4^Xiс*9g~Ƶ=} Ɣ9LWlb+ NQ԰:avbT?+gl+0Q~W ɨRUbw>9ti[w@,|WzcSV^JjZRG-I22(hѵ4*7hl-Ŕ+lv*/-'+pL͐'ظ&ڠ# V b92pp}xXR3dGp]kHDxXDf\+8dK,(Ev%( ˟RÕ9f畨)|V^Q׽jḃbJ`fF5Q87ዤ~ oG3;*=q}rM4Y Τz&E/>h.<&St>'gYZ6aea288ff6e44e013c25130ed74e1596045206e2d9b2e0d22de49dc8d1d07bea7961be77a8e56816 eee425cc222e55e56b75652adc800e2ba62296484f8a793492a05aaed8c026f2b3f0be272d1a628a   ZF-Induct