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  % $Tt ]S Posix-Lexing:threads=4elapsed=15.171cpu=31.452gc=1.536factor=2.077zXZִF! J]ŗXf[&q$/= :.@b҃&0Z_Q?%hT,'˞}CC Z9U<#W[P iD')lnb}'eX @y`1YFU>4pE-DJTlEBO+ДB(xv,Nɏxu6%:9"ܩ8!nޔ"H3s%6't'6a[% w`cPПQWR&o @cJ7Ov}m yRv5 Hzma?NM~+۲cg,V\ 1X4(SZijgYZ7zXZִF! d]ŗXiɟˏ6t-utD>ь@z?HS(u#m}{kH&tM6]<ا)h^6P(nN '`"a==lygYZ7zXZִF! fq]ŗXi%GgIʠ5 |`¬]JO?"o΋PP&]pNώhXQ )CE"rt?WSqj&vX 2n'+4TI))mXC73Zw+O0b9Z DāZYE)+nٯ} P3)BLkE\$ f82iJ MrPmc=҈Cm\gWCi0/5+=@3ՠD &od0OO -H|LSqXjZ%L7Nl2 mo:`ÏK̽@(gmbYmӻڷ  3FwVj :ٞw7Z rC7 ^vj )v _ԕWZU=OXP&6`SJe.:(@0ڔV\?3!L -4Qqjr}*vn#q8 [8X3;y1=*xhX:L!i$YP-j3WF>ػaF  ?sJA :61jsZ;sN[_ cm^F_={E!\ۄ-yKP={^7Aui6^L@_%y2+ڦc>ϋޭҭLD-6D4-ȭ%_V>XzwH8bVHW77L&DOYh'XC܊l%Kz sdɂ|t[)4IQqB{GSv ԩn#뽄wqQ@"7r| ŋQjtUҝ%KB$4z];lCAuZjH;YΙ5xAaT\y$M