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   ^! $ ]/ List-Index:threads=2elapsed=2.758cpu=4.992gc=0.084factor=1.817zXZִF! ]ŗXf1-/6vRZڕ/0*]=D2-:r/•UXf6SQ7 %"Ji[XnsĵAbAE  YL&HZzmp0\qj Sv|Ӯ+)6CMEڰ¨b"gYZ7zXZִF! IC]ŗXiɟFTp>>cP$qXLE۵Np?; *G}j>_D}m Ҷ;_J>\}YZ7zXZִF! K]ŗXi%>g!+ 0 :rTgvq1X̚iلeGqVT9(ۜ5+J(.Ʌ9U^v,fB_5aǁ&.m2oU(&$9N ph FI~*C`)z^$ TwHq3MPتj4B]8*/SQ_AI8txGm`I٥ȢSMX(deg{9 kD ?] ɚlŖ0c bh9l`{p5 n0 b+d@ξ֗'sn(n9foAȔ-2g*Vp6P{^V9qz;BhGsW'fyAh p=0Vhlc)~E/- Ӛ񣒹 ˨ԴdkTS|tb k< 2,Кs%,DN6ӶH<>vn>2[k>Pvz$V"JֹE_le]j' ə2]$Q(BY,}'9^>gYZad1ab42e172ac755c442b346a843f3edf7b4c7f3a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8  ! List-Index