SQLite format 3@ . BBh77otableisabelle_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  V)l<| ]/ DPT-SAT-Solver:threads=2elapsed=4.514cpu=7.732gc=0.040factor=1.717zXZִF! ]ŗXf1-/6vRZͬl #,Luywn\d sM@mb G5%Uw˰Bԁ~ SvWwh ӛ{uۃ]pr+^ZܻN 6`).Aدͯ26c 񤅵6/I`wb.4It]\gYZ7zXZִF! U]ŗXiɟ°uk'}t T|=ZLvټ 8.*~Vȸ[pNSϦ'qgYZ7zXZִF! "]ŗXi%;:džhV rFyu|QxȽᕪjeAJJ!!U%o_.qcȳ؅De/$IaGv;D˟yySyw#"%cN)e`,60ynxg99 -;ŭŞ vg_S!b @Kl0e*Jwb[cdnD7bD]6Vos) yf\ʿ1S! 0;eAHJ/eۺ} _?2xڨHAXcP[ttD kܻ׎fWx<(+VLT_ ژb@!cnXOaob">#_ZbXGOyHlKZ=%v{5Իρuk}ĵ2&Net(s0j1m'Eċ~epAy3QzK?, =3FSŸC:'G5_ƍ$:R&+G)ާG)'q;H Wc>]7L0OT 4y}0`UB?FM~3#pWo[5a\py5n,OY%`kpPEdZgYZc64ffdc761503383992af905e9214458dfe7f96519483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf ) DPT-SAT-Solver