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  ) $LD ]/ HOL-Statespace:threads=4elapsed=21.915cpu=25.344gc=0.244factor=1.167zXZִF!  ]ŗXf1-q恈8\:[Td6(Jx3[YZEeȼE<6]B Ȧ|{ !VJV[rx¦z黕Sç.+W%2,6X(oPLc6F>͢b4q}[痗=>?^0| S{K^pA^xvΏ8ATɫT~3Q9W yTA̍T473.-V7%̿AgOluASǗiN .sS SDmgYZ7zXZִF! ]ŗXiɟ1.F+hzl-M'-MzF^/dT,^z/8/nZ{zmS @L\qt?J}_L 'ȊT@19Y8kan#{gYZ7zXZִF! ]ŗXi%L SaXl7yDٲoA\H'#XXT%D1S$C{xJVC.AqYm& ōqQòśu$6sqRA&58 Ax ְMXUu ZQʁ>^GR1<*9 V-ą2usj{`R.l3)@9 T/;]e8u77`dBGV-+`$7XcVy'ԢE_&i CRy~h''3AF׃ [j8(^]J{ٴq?X૬g 0;(/BB]q8^:F<(L(-ȹuI7~l+AÈf4lWS1#}ыj$ p+B1SЉ%= /.&ٲ VWgӛ2X!d_3eUWu lijpCzq@Som!߅Lݿts\1?G+YwJiNTT }Rp#iYڷWgo* ӐĚccn=7Q)&ejPwܺ K8 214MtAtR7!Zu8*JƔ?ݲdsTqvn8u.Nv:SٔFXPy,.Aoq"`7Xl|@ x04+"8`PQuAbE~hJǼ:/yeLw1)^'ٝ'oPSysQ3V1jyГb-6Uޘz[Eu=4a}sI%fxE-OL?Da -֯UY0a[pWSZE?'l^OmFܮ'vven_ }doZA1Dj:ǵ~ X[;,X0TC%}.>AnAyC>ItUdMyv=ŮR<ϣt#02IDӐ.G'.c1X'UNf49?t ,Ɵgfu UК5Ƴ |_7=*9'O|: ;?<p?9p (K3MZ