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-DT S% RIPEMD-160-SPARK:threads=2elapsed=1.215cpu=1.284gc=0.000factor=1.067zXZ - RIPEMD-160-SPARKF! h^]ŗXf1-/6vR[N9ʁ@;._IVn,^?*:վ-nzjjk?~އxN*j}zi8}YZ7zXZִF! ]ŗXi%H?g)w+ Yc~xBdOfD( 9{KFLў^#2[s鸇c89tRi= R@`)vq-Xf9P;鹁HQN%xOjtqWxEL}YR:nx:!LI=v{9>!.ːv|bDմ^T#Ø\0Ҥ7Vt=Ê`PKk= k4om/^;ڕν",ǒGR>nGT %<Š CX+ka(ԫÈ!bM'=Ռ]rMU=sxlٽ $u$ĘMTڃ~FlD FG&#%d,.gYZ032f91905f35339d42804f02844f44487e2e5dc2 13995a6a9e7098d294b7c9fbbfb8466e3adfb9d7 9f5ef76d0af853e976c57953965d1fdf7360dd28 bd003e0bd6ee5ec5d85d899e10916a7b1099deb68c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 e1bb3d5daa38a8639b3a69887a2c14585546e449 adf3b6164465b78a4d6cdfa1c672a876055f2cb6 f8e0878a280de253faad72d92f5f3025f15f9868