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  i-D S% RIPEMD-160-SPARK:threads=2elapsed=1.155cpu=1.240gc=0.000factor=1.077zXZִF! h^]ŗXf1-/6vR[N9ʁ@;._IVn,^?*:վ-nzjjk?~އ SA(uzi8}YZ7zXZִF! ]ŗXi%~_(2yɫ N2#nwPG12ٮE ?:tSl (#j(,Lj~W>W MH.HszWO~`i3eX$/aL[y ϗtt&'m(C;F9m s<o,_1߸H2 !j4JVdW[Ki+^hSkeڢU~ɧ-n-xANMnT g"@\DX=haW8x1sfuUga!Q{=X-zB(^h82ҜY}P;3ķ*% O'&+-[˿$C!"И!2|k<:\K]՞p]; Mh,2g_lޡɎ?9 gYZ032f91905f35339d42804f02844f44487e2e5dc2 13995a6a9e7098d294b7c9fbbfb8466e3adfb9d7 9f5ef76d0af853e976c57953965d1fdf7360dd28 bd003e0bd6ee5ec5d85d899e10916a7b1099deb60ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 37d607c366b55abd1c91a06b0deaa7a687c92082 55d206cd3c61a6d0ee2a6e7cd0effe3c6af499d8 315da172950b9990f8fae0670ddb144698214438 - RIPEMD-160-SPARK