SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 i < D ] IOA:threads=6elapsed=7.074cpu=28.652gc=1.004factor=4.057zXZִF! (]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K 𫻪O=`N@rf(՟sgn oc5YmcdJ򼍤̈́*q`Vb\m/:8:'Ue>g(1ɚ[å V41=Wxª޽K1 #ժm |9ܱyyl^pYcc:˂UVC(鰺Vt'-qDGWIG"|VVA| D;Fy~gvچVr*35 %eoP?6">+lkDYn{>3>IqGV>w2mACJ6!$ĒXgYZ7zXZִF! `]ŗXiɟdN'LvH۹$+F":, .BLӼA@'v".TqFQB>su3ԭUdTx`šرQ&4{3NJ9$u[6O[%0x^yʛa)5EsC9 Up92P 7BZT}]Fx C؝o?4B)1: ˣٴwzX<RO0ADŽpi\co: wO[y,XtN+^]pA 3)CÒD!> 2VX8JI< gYZ7zXZִF! #Y\]ŗXi%94'0gkY,M4#b:Sl|6_$h`SQ>c!*[ H[t__]Htl֊rh1qu՜ Yv5Ou!ص$םX/>X *&ti&G_M&Tn{hwB}w.V6;"9ռ&Yo̭e ;.s?6?Ҙ۠GQ /a&֗(*|y;-kS2qToQm1=O`kz/ÈPK[5* ,R|Ĝ 8p. k3BS4:(IㅮV-A]dUo؏f\8c3,uxo+uuV+)__rM9. 5(e69߁&:y0i{(0phxT"h:SeQ]|lO%W5 C&l1{vhp$k#V k -q~7Y 2q㛾'lzFգڑvDc yp|b5LLei)"*c0M:e\"ҥ"9%u:C2*>eI8tW\_S(NnQgiU2JHP>"oЂ.X" LV8ś( @/?K:簵6%{Đắ~ O AxWRC/yL_Lֺi$aS@r]v (Ǫy k.@!QJQrd !=$tv>#vF*gYZ52d59adf802f29d36c2e20a632213436acb764ee8fad6a4949c9835d07cc1dcd7a18516b5d86c9a3 26287f7258648103b1684486e4620d0d4bfc2934 0d12dd4bcd7112a64b8daaa5223058781fd88d59  IOA