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 A% dDT ]/ Latin_Square:threads=4elapsed=4.725cpu=17.368gc=0.228factor=3.687zXZִF! k]ŗXf[& n@W2rlU?P9ѦΜB تD󩗤_  < 'ǜϪRsnȿћtYH^'1wcWa 9dv ATJoݫ؆x5T|}&~{؀T tv\7AUBFꓵZ>mRȉSF/g?XyBpTng}wH$A6<(u \niZU ibT@w'PTmeǫ4F{bΜ0P{F2_G,q@$Moh2o_߅1;>NϱgYZ7zXZִF! Y]ŗXiɟPaOõEWDwSC6U*a- :aR1DJ]V4V-Fbtݎ'OB[3}ugYZ7zXZִF! /h]ŗXi%GV'v!R&A0K/nS<mOv #&ioE6췒}Yr#f>MCAO6F2}Jzcu |Tcn7dFP䖵 / ػ8û:-i^m>b 2jh_l;o]۳eJ%Ɓ;dN,M8zZ HT@f ҩVM.u eT섆Z mC<)jK)u[#+ Sɣk2~ُRgq\(ܖg0!RT%WznpW,%C,.(p/- &P37׭ƪ6F%S>i]̑yk)[Ͼz$%ɌVFac