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  6% ]w Fisher_Yates:threads=2elapsed=3.444cpu=6.340gc=0.120factor=1.847zXZִF! 0]ŗXf1-/6vRZZZ J.LG*7*A?䯓;JnVD f ɆM9p_Bon̓yL2ob}ů陹]psw/|$}h3-ѣ&+Sn.nvճB}j:C*N_CgYZ7zXZִF! {]ŗXi%6o. {nI"Jz:? \ˍy 76<_)s`'ca)RXIK&f{he-r%' uoܚ+3ك*% mgeXFMfhS7Q)w*M{\j*<|=5@a[$7_(fenn^8Jŭ \Yxvց$vsH #m#I.df|w[v_X:@r.ҧDRog4ǭd.32ɁڤAEغ:ג/l^C,//.p8]pg2TĮI I)ڸrR=IX.fzn@GT~VQs5Cul2:1:5'#sV|ivES`valtwTX. ;: Tų-МgxxaG rШTsiPno|;2Ny8w6!{e+1:I8+2YBͳyL]+W !g' {k]ϏϬY&QȪt M 3 7egYZ184b81cb428d6a6e176e29434b0a7a206d5cec70e003033e0a1df248159cfae37f3521344e99dff4 e58c0b53d135d2468d83139943d3835239d94d2e 59bedaa090758dadb6cf61e44de79f384afda49e a74f7609bfd67dbd153c851e2bb135000e159cbf 747e333270518ce60c15dc34844eeecc95a83f48 c4a2d1cda80a58662c70d751475f967b0cbe5c74 % Fisher_Yates