SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 e1 tL %S Abstract_Soundness:threads=2elapsed=13.100cpu=24.128gc=1.312factor=1.847zXZִF! 4]ŗXf1-/6vRZ\vW>_vIOqۻh8 o'f]F9-[cch 1$mmyÌT 2;q9v]NsYg)!ZoUwo _W:kv?4א(ˍ\\ jd%^ ̓x "۽؅}lXXd4zgij@QFYɲOZ0Md y^#Zjwr bHAOry`};&rRNkVNG9[m ɮRgYZ7zXZִF! FF`]ŗXi%6w =\OUcg>d<4zU/ _wlG +R 8=Nkc./g)`!M̒, ZճMg1^r*'pכ.KJ)HKUf. ;l^‹BE\O<ib[hG߬a]6XZYc-&D{3,g'|M< Q=FZ4P_>fcMGJ iQ'R“=~^UGq*T4ϮnWAyI 1nEST϶ A|ҖChr=C/U;b^?$btt0ӎIⅠHhCz9#̝\,sf鶱GKSpˉU赺ɴN8y:1_/ԪP[kvQ* t64}nE!mHc)D^kA\zF @\pЀz>ծޡJ ŠjJnz$tuZJ@%x",f/m/<-njdCۋgYZ259efec838798a0b53bea76d4ead9e30ef7bff97 5d3a8ef2aec282b165ef95ffafc4f8854c3491f9 60a4b5c33b59914587cd86950156e1f4dda048de 71e524f03c2d44d663c74d8ae3d9abbc9fe41e18 c26292328c60c4cd15ecd89b049981321e8ef8b5238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef d3e00d43329ba455c17b40d5d4acbc925846812c 1 Abstract_Soundness