SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ^^l$ w/ ZF-Resid:threads=2elapsed=1.467cpu=2.448gc=0.000factor=1.677zXZִF! @]ŗXf1-W[lʬg7]=e/+s|5 4sm)a81H iUZʷ8 vOZ`vc#S*vύlKI%;k酪QB)INl%K"&Yr7œuKx5Ĕ0нX@ @?)12v$ YgYZ7zXZִF! )]ŗXi%B$23u L Ս d?M:P#ɾ ]f-:9Od}~V4Ԓx~.\ᤅ_eL̹PշYdB_F|6jh 4%rmNwGt+ _0D$5vsLM~ɷ9-R[Dō쉤CwyEwcxS7n4ux38ur۲"׾s]W; .뭉ưI#/CUe&n!seH'mqL Lʝw;ivgYZ032747f70e60c520957e25c149f5177d8ecc8f72 087c424a70f278759c0b6e4edaf50ca1393d5072 24ac677f35b56d2c8077ac01c99e36cc65b0c88b 2bc3541bf495d2b2a4276766c40726b199b51586 8d81f5a8f8401e6ebfff506f46a32901bc7a24e4 9592cd180f59747c87d30b37033b3adcd78048f38c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3 7f8b9608355870d405660de565874803ecfed86c