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  | |y lL ]S HOL-UNITY:threads=6elapsed=20.376cpu=97.404gc=3.924factor=4.787zXZִF! 6-]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Yx3V{{\Y$^I<̑$S[+'RϻFA1|w?cVԌIk !풥ٳ8"+Wy! pkpJ񳾰:=c@dYs.NqfƲB$%5<^U'~jF+ xniS8cbu:,29u; K/dnMܯ_!őW1y $FkLK߸%5Fq=e]JDٹ?MUmLCpZ6F=$JfeR\gyˏKnȔD&~!9F{(՗+.ą"#w+kaP1ʁ=&wYz'fo1^}܆EMjMHZ6U_oWJ~g ~w7sk,'?{i/'< 2e~"#y8!oD8t`z3i9D sЪqv?   HOL-UNITY  [ ~Bհr1KVrJ^ w6@k6%h}[z[\x! 2: #lxa)d$,<)`{;,,]O85D{ٱVd3Inפ5GnTWiJM6m ICae/E+Z=JAb͓Zfof1ڂiNl%b{JVeϑ? ͞Fej|.+j$/9j>vK K8~8`Hx/D7~Թ_EkNE~ l ,uLvdkQU|b VT2|D53Jk0Kxaio,ܢ5}1zܦ6E;D0Y|umHz;&=ֶ(5͚מRSWJ_莃w;kHOOv}Łp̚x"ZKqS/蒨&T!`~ɧ;_7KW,jud!>5KɁ)6HDS2zkS</ԡ:`;2qK]_#Bm_uUgZ۷ m/7gYZ7zXZִF! ;]ŗXiɟ1'x^܎hV$Ky[5F~KZ?c:7EDҏq$'xrwQ6r?a/=owXO4~_yO0G{]v