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  ' 'V+$, S MuchAdoAboutTwo:threads=2elapsed=5.492cpu=8.860gc=0.256factor=1.617zXZִF! q]ŗXf1-/6vR[k\_[FjhfPiYLKh:(ߎ R3h 2.K6py [}u 0f1K}V\@' u J:h;ji̛?Lk%j l ^d-E!uuiYvij}S3ގܹ֕fTgYZ7zXZִF! %E]ŗXi%~_/}n8:aCtB@ `><Xچ֌驉h3E ɞ&,k"oW^TW^-䬍pwDa[7rIkm?v7>Ȃ$aKN_jR/zLֵKT n狢U*-M47zrkox U4XT/?/|MZ,cT3<75stT`UL 0)XVT2]F ir9=Rh9-<6A@ƪ=)!Xynk8qc_id ؒWFC!]KˑZ:~,F" 52q( QŘi!R06y~#+ ŅԤW?n -hBhY}.z(lJ{sw0TKb"P8bnvzj˻UI"mݳØC`fMt'IC+CPL@4kQui)ƄFl*l*\8Sa3TNJm]}#F