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 U% ,T w/ VolpanoSmith:threads=2elapsed=8.991cpu=15.352gc=0.576factor=1.717zXZִF! ]ŗXf1-/6vR[iB9Gf}P9O`4Fp ;s2ڃw)"kv7H3cV L܅@#ug|'1&'qx"+|@QC0hxJyIUP9틪>\E*w+*J }YXuAR:?Cޓ {Y +'?L3>y qd,}pKG8 O` f[OuW?Wo!o,UR ɏ;Ն)sQ:p|d#BNf5FI%bGdTTJܛǃ~9pMᇹ.2"Wy7\/XN(C޷+bFgYZ7zXZִF! 5]ŗXi%6ΑL'pѓgtں顇 )w'zUjN|q!fT@2ue"ٷtV@Q}3QSȀ"5>¾s(WuFjjPl cs˪GNgt۽ZEWlK7ru~qmآcFohsyt(.jUΓ˜]NCzq`r (ߥ&(cpoI :+(TS Dwz7ޭ||]@œ:is"?t~Njϖ{7Hp=-'0A݄~kp)R0߰KB2 $A32@"C}O&EihjU!AQ5[P%3Dɳ %-?kn}vSݽ5uӾ;  ,z G6|wuK_5Lw[n$Lh>{Z 2ˢZQFwV\dSZYMm|I@1O芦5jv-KIs8/CAI<+eW-f>pjL@x2Yv2Jz* ù5^J{yPmU??mW^G]y\* Ѽ?V\2f$qe@V랈r:qP pWSl~GUZsџdwa-.^:+_k H% ^8vG N7\eȮŝ r]DiI}‰Xiy8ǟȨ IQN5xWF$׀".BS,A1ZXv[Ck$gYZ07c3d0c0260d24e84312ea07322f84eb50610fe6 15649c4dd41463e761306162c948ea79ce836419 43a788035c378e986edf224750a85551aba4b61c 6918709c5cea4390c2aa9b7a9c411fb9b9e72799 7e04ad2d81aad700a3243fc642ee04707d75e34b 8d8e5854f33fff58a9ec327ea3350411fee5e5b2e4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb % VolpanoSmith