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 qq4L m]]FOLP:threads=2elapsed=0.934cpu=0.940gc=0.000factor=1.017zXZִF! s]ŗXf1-)  FOLP:49zleRna^bYB= RPJ$uѬT+>|8}c :WnipFBZ}&\.Lсii! -qֺUgYZ7zXZִF! _]ŗXi%B$=2|*#`mtZߠD{iIOl5Ԣ&q2F& mWiuiUrܮUm @8GU[nCC-A2e۞;IUNA+;]"<1cc_\pQ=L-YJjH4yN)bql:"`Jvdqe֡A:+םX>3F40s(E 4rgPk;gT[r2 oDtKy.=d2n7萁0u [$&%G,'f< |ugYZ023701bf174bbfa9178ca859c7247367ee0be33c 18d9c0a577ee8d671763286ca2cefba8ae15b2a7 2bd9b81412f919bb4a49633d92a29f1f4816d35a 606aba507b4b8a629a41423d6dd140372765563a 728e960922fc3a9ed2e9f47290b9919f71026a4c 7e382739d4c7b05f9ba4e611c75c581c49fe06a0 b92be31af05c3ce26288e844608163c3cc6492b3 ea1f88875ff378a6b7c631694dd658a1b4dd761f ed2722b7a288eae7bca6151bd94645009ec5467a8c5c3c02f05e35fe442f7fe3aff9bd93f43f72f33e585b37f2bffb96e3011c2ec2b234bfc7463f8c