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 rr 1 || ]/ Recursion-Theory-I:threads=4elapsed=9.033cpu=31.416gc=1.208factor=3.487zXZִF! v]ŗXf[&&mPPAnɓMc wl v٥&TC yҽP0~BKh$\>3ur?GbT8 8D\-.9lbˁZ yሦɺnfox^e2c~U~yܖ~:[v՘?:Dkt`@4np7: *uI:pp,y[\s]u*t3C"Pyh1{5[;ʡk7"9veƝe`/(y3͚ $d1ŴX3 N |HX;]0ũgYZ7zXZִF! -]ŗXiɟi /-v!NىR!`vsY|Gs^H|J+ZEPf+m+m$~s-LqjP9?ҡŴ^RQEI[2%0\Ц6Gz|xLdm%ʠZ ʦQF9s"5ٴAe'ݱgYZ7zXZִF! S]ŗXi%L S'ƓN5}m&>Z# TM3SAJG/]׽[7dM7"H+Hꬢɡ~_ =x /9#hBqV-} _һ? cO kB/hE7Y,zUUQjxUz;OP(Bz+RQPg8Pn?O*H=uRNä!㲮鸰S٫&ϖ LZ߯P"p"~?!e7 ([<4yE&3כ-a0n. \ ͢U:CQ$slI3k8)`Y=1{ߢ __CV-ʨKW;"+hygPUY.hF8>⛧E*&Ϻp@ XJ3P6em Yݲhdf7=Q36H"_m8b[^Zbjݺ9ߎM} DstlƧ+UVe2C(QA(i^Cl~F8LF} #|0dn:u@E|N,Wdѧo\_6"w]NAV)n{)6CDpC2 3MlEu1rs3PLo_iS;? ٭̟^!jwPqwmҭu'.ٷ4LHR9?'9݀fڠz BKoG{[#n,ou:eMWRLF