SQLite format 3@ .0:  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 x3 4\L ]/ MonoBoolTranAlgebra:threads=4elapsed=8.711cpu=15.508gc=0.676factor=1.787zXZִF! A]ŗXf[& nv$g@zq}=Yx=coe L7ߟ6g]h2~yB;Rok_o}rck aE> G>,j%ǡ㉙x,"qs* vv ݿ"j^Km5` CxN9'4^{5i(f]@SUSqˏ4H|bLZUa mu>>W2E? sCd'>p-h,@ƶxHϡi9rw,θ?>"іR%=@[tS/U/BB/v) u\]n  9-Bz4[ě"\-qy|$~Xްiwi*y&ł_ٲ:C)K=7.4#Оz3gկR%6-UEWmrJƱPeG#!P²2BcԞaZ>O'났'F0[\/&t/,n=O[^sѰEf>B-<1qA}Y1o'}bC%45# ;umhh8F&EV]JuvyqѦTȯYOj\wW[C3x6}j Y&Z1tjtE񢜒ot^Oȗ-yi 0yg? ?FMW3:~ 4mz-xXԅpDPT=YNjᗆ:+s]I̓ǑKXFX/Qүx0OOPD!1L!g$]p[476uF8kp!{-*خTkrl͙Oɼ/-75:y^(ܯ oMY靳D \;b/ C?