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 ~ 4 / FLP:threads=2elapsed=22.205cpu=40.856gc=1.568factor=1.847zXZִF! p]ŗXf1-/6vRZlh[j^iWrYWrWzN{\V#%G&_ 4P=M}۴G3HbD#je%Ӵ0} V[yBms/ycc4D> VzI-֐wL %;)wZO9ܦ"CΑ$Ќbb`\B4AqFJ_a]4<+>󲸇P.- x t1&Zq<)& mT=ל/Kځ!6 5x2cc12x&JLu1MyPHr{"H@ĉc׆x眭pOZ>W`5ƪ6RB8WT= 9glfya8Q(xᾮ//?m}M 7,n\(5(Pt%y<`xi`6 0B_.2a:B岘5 exY)$p%VyOuuHeG ס zkOޛV#1>F9SRj^:zppb8JnpՂDe%-b06 |Op_ `)ws|29!PlM=l=d=ª{RBleoEP]#B۶ |rJG!CarrW3pΛ^ׄ8RؖxfN LQHցmehp`\?@ӷM` I)\8\HD.[k̍$d݆rãu!c"xʃGoTբDt?5 "&{"S|2]=]$ir|2t=&CZDzbKGfw֞h_xb ֽ=qc%fVKFC9[66D$ja6IL'*! I^O(%4xaZ%3z(lu(!|AU8m7a8>1y:Yz CY퐂} e5e,6&=yiӑX\?¬SCb`L[nxܸry-MZd$drg=>\OƧm CfڈqqF-Ʈ3MxPey늶HA2Uq#43Nh LgYZ4065d2aa3852da8346a8e9f08d4ee6bec36e5bbb 48898eb19b7b309c9f15050a07b005bb4abaa949 500cd027f56a73662d6c310098f0bbc412b98778 52fdd0533a1e8127c275526467ec1ca77bb32625 7e0839b7baa11f1327c6a71e15183112f5367054 85ccf0c30a622a6d4e6386ec4544b9a5eb44ee9d 8c245ab35dc7da7353f5d3e16d37288c705783a6 bec3626a0f107fd180d5aee975463ace813319e7 c71679b10f7c0826b882ee457fb938fa7667f354 f370ed826c66d9202230b90abbe32ce8b424df71 fc21a0490abfedd12b945af7b576af211157aaa8e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3  FLP