SQLite format 3@ .;  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 %rT< ]/]ZF-Induct:threads=6elapsed=3.500cpu=12.252gc=0.3847zXZִF! ]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0#DL+UP؄4\e| nDX lDPZr3+6";&s h ^^J`I"ƒrT%~XN^AB?rv PDltpCjK0ͬf.F2mO/ >Tz܊,%/_o[=gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەzm7@ZD'2vh &XO\$μzMq-~> 58\T(`x"4eiv!}N3|׳_H ;6ɝuTёnR#2tt21(҃p7hB۳+o D](. CUj,GGBVdUT!N+~E:Ƽ.9qSwqW D"x/XɱgYZ7zXZִF! y]ŗXi%L* ֈ;='p^9]wYKΡvo/] _tOTq?FU\YDX$rd `)`.lYcVw|lUqzz-rW̭h*LN;nO?BhG\Xn#{,b=eכm|4y4 'Xr7no.u7D!K9'~$TgVlCTq~@#n96ej)E\\Qm{ce;MWt4Rc=vñwW%9_[(k:wJKƞvjXŒTa >nt4쎥 RQ2P0.rE-YʍT4йV 4VaP:2Ҷa1i Q_ OQU -{.`(D~S" Džs[<fB %ʰ)JhFFYԫqs.0˘y+Υqw *-zg\,WSPnnC%RšNiFIg`37LM<ۭM]u w\t΂6݅c:Bk