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   a# d , ]]HOL-Nominal:threads=6elapsed=6.089cpu=14.296gc=0.684factor=2.357zXZִF! )]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯~+h56=g4v7?ނo'c Ub n)eWEd.VГxjCמ*(ȡ\ ZXе%_u̺J@8 GߡOFC;7C! {j7DCqazn! GO =^gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ Îw7t |EZH5,VY+`I'{J}YZ7zXZִF! 0]ŗXi%>S|"j`EY•[PmGLVPǑ6Õ&RR$Nevْԭ₞'Y]ަV4n\@O%a ; f43}\FQϱW,c[I78ngwC&!X1\@#cZ9y$IfŰzJ㙗s}NWZ~JO"m|4_|2/1a\GœQthkjW*'ˡªKTOV!$rxOPxajRPF@LXq-4~С 9?c{3 '`?E}?Fe[܊0,]QeDdG,XY.[^ [$ISID;y8pEdT2)]vF/XZIk/ FxqizAUt3<~t'p.ȪdI7?r BzbJH3cc3}Ԇ.516doSx7jK6/@۠%dSGگ4*PJ\ VB i"J}2IRmnU|[UtJdsi<ګruR^v˕fZvn݈ju!`V:[îY>Q gYZdbe7fc7eefb196feb6706b2be3acc27b6e64ec49949c598a2bd1e6db44f140e6fcae9e1de0a86ad6 107df69c9cf9c75c7702af58ee7b77c30164c5b9 a1febd8fff15d3313aa3a38fedb6fc4d7cc6c79a10486b665fb3713911e652fbe225e29f2d50bc17 # HOL-Nominal