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  w w%, Sw Fisher_Yates:threads=2elapsed=3.209cpu=5.940gc=0.120factor=1.857zXZִF! 0]ŗXf1-/6vRZZZ J.LG*7*A?䯓;JnVD f},.XE[ts¥3̒l6 F6fo=G-*~7*JMKYאңojۋwwD`1r[”wn@cVD0`PS +gYZ7zXZִF! P]ŗXi%6 +,5\sM-sh[VMm$ @@-JrȐ;b !L w ݍ|ꚶyx +`|D ~F-Uá~쀭w!diH\B<|\:xփ%[2Y[6yѼbNe86ܺ}瞦-yں&i|=ZE~oX5v)~s -ö}}bu6$IwJB8 ֊P~ C'^t9CT/V *ʟ%oΆ,p<ȞQ\O*RW0 áѦ)tsT}ʄ‰'@25; ({1b&`\LLwc~iM?A[T큒қ_ѥP oo{9^b' ߾