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 b# || Sw Minimal_SSA:threads=2elapsed=9.434cpu=17.368gc=0.428factor=1.847zXZִF! 8]ŗXf1-/6vR[ mY[aCq+c=ޒuD"5,fN^ǍrOR oe˒Q5t+o-ݚTKƹJTF5$As@wԅW.P\u C^4[*%1밤 XaG_;3;2 #ɽob12Ylj@= IG6( ]THhXX^=7D9_ȜtCo\. 3W~{UO!ǔ:3n`r`&^jgYZ7zXZִF! 8M]ŗXi%}i&|[?ȕ09[m!Lajwo,B MqCp脨; h mW;0LOn%j%I_+_eH i?Xeh#I&Хqn#@zlpbDS3c\}XW19"i]~P-ԩ"iqe4t_SR+H*⒲ z鍹q",k/ɛ&`Z Zs)aE?;F퐹N"azޤw뎄vi؁(՜S#autT8VNyG.2ԁ@4Sf"uȁK͆GpsYt5M1_Ն͓}1&G -d4APJM|4=D9<u0_-ǖOb_%Z-bCcR nNHꆛQ/8q;N8 m FW[m]2.AѵO]l,PMݣ}a Q/{SmZvΛzPw5;!mWCk42)8y>*:&IdѥHWv~ML?z1n#Ylqmү.5)OwyyE礃Ҭ2QsYjĢ/YE [MI-!Sa$Ò@aŏ"nEgUpDMt.1G·B *.j^#DPAFkxz&3D`|s2ig?t|ew/ryʵ+Z:Cq`Oc!μkx h\No˘