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 QQ,% l S Latin_Square:threads=2elapsed=6.573cpu=12.608gc=0.172factor=1.927zXZִF! .]ŗXf1-/6vRZ(6}T ieeNu \YkayPclghͰG:QY~O:C!sYfӿ*S p'HR;[wDY go2Z^_"Or(ιiдRj̓=;c٧Ǭc ɖcĀ?rYAN] #R l:«LiJ+2@?n xS kG!ۢ6EC7 /\j9Cͨ*[n~&b]w˾GlE55(b pzXXW.DObM-8JZ[.N6@alywVԕ-ٕ6=D o(w$l~\cM(F(|zmoi!@Rvmӫk!hYjI)b\+Qsd< QHZAڢGF5B "e9:cvYAg ?%@fdi`&@2hmja8}z Ԝ"9w@ՍG\Ic{ ) BO%ߞ {GA h- ż9b1ߕ hbͦbmZ{@kJ4T0BfN#Vw'vzs=Oᒏl6m&"L;2iuvh ]>زgYZ7zXZִF! '0]ŗXi%rÚ?Uy =ڢ_К -v[Hb%gI?ުf"@`( O?s{=4s 6EZDR }6ou|Ϝv%B)8 H|F(AD-M.98- 3L $`|JhW#/Pt1AHMQWLjhfa2-/g :~ȑmD8u2Wz5\GC癉 S 6}=|b8^<Q@bN鮥U8i"i&'_NPXY'LrhYmÊouσ*o{Ppm.fqi&^cY7 QMk_'@ߔCfܳMhL{+ܱ"oduhHg)Zp1#FE֋lR}i%1PzRYo5D1`G9W}`%gzK6SOM*E Y.,hQBa"5 kcMr'Z҃0րNK6G-ip5xV R%ڀ;έO TDžgYZ31c32cd8ddac6a5cae1c8fd40fa7d51780dcf181 8a50f6b01fd40dc8acff0e7eb7964fc5bb14e9e7 9c3929e8a20c41189ace55dafdcd9f64e8cf7657 e587efe7a31b45fceb8cbe8e31287d5d15e8504bc7c621c8c679c6f81c939be460dee2fbe4c459ff 6a3b5f35a47c619c2090fbc84ef59d242c963bdb b95b269fa8d19d23c2e333da407a6e4f9da4d6bc % Latin_Square