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 gg= t< w]Randomised_Social_Choice:threads=2elapsed=24.117cpu=44.588gc=2.140factor=1.857zXZִF! s]ŗXf1-/6vRZڕ/0*]=E %8qg[mtiGNהּ+~xwح Ks%];c֦ ׄZּ[/d/tD$ ㎘Jdg@ P2FP,]q֓mD~!ɕ6oDAy H^:\Vu0Q& IG^/ڧIB' 4%Ro܍Rde[N$?( ^Fm5vg u!(Lf&] AR!A-$?<,&-;8{ϧrtKCz˞.[,`i1qQ(o,VA pw|wV(}iONtЈ`AEO|B[!DYs~`HrȎz$ҺP'-;E@: &6c RZaz }ͷ h~vh!ދKSh X~»66ᕼ|\