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 ^^- D ] Lambda_Free_RPOs:threads=2elapsed=17.037cpu=32.012gc=1.372factor=1.887zXZִF! 3Z]ŗXf1-/6vRZVO[fY1@i3QHl%ށܒ,1jT^~͖#ѽʓCAJ X t"ޏHd4 >1UWt+"L6ҘLdˆ=QO+0vGά8'tQJ}U3n[ zuڧ{"f7f? h0ۑpO~#ʠJ$m@sN'8J8C׊%Y0oZ;7fV(\SVk~:6UyzeaV43vNI=c&k[gYZ7zXZִF! \]ŗXiɟ1?ߟt;9HK?.>e7"Wd{l` PVJ=vo|E PAŷW1pn(8#S" Йe]JGJXB}$LE@NUfpk_Q=;OSgYZ7zXZִF! b~]ŗXi%;уuAδ.25 ea;91 jWtZIfm˝"JЩ8Z7DF,~?0 ofBs: UJ&,5\Bu+xf҈tȴX*LǕt-vUȴG -Ow͝|[c8$i#A'{DH::'q"ّ7;+֓=s1uJRE\Qz.!ȷJhU  Z=jYʛc 73mY Cm*-&.HyL:Zׂ~wC+XA6Fl$K&C,Ԗ?dD=rYʓi%pq%U*?)x]E2gbJc%ժ6{渴JtDިdnTPX`x+Iu7%~#~za㄃V̌{8{9<44)rrGX/Q^ <N{i?qtxl&j ƥɲ5RC¢פR [/'HhFk0B:/BJ4,9ׄ%e;hp9@a(jo pp`$%EYvVy=6I+L} Zq Q/~~}U>Êv]r*Iq@g#%ɹnQřbxn9'K8X ̕gYZ1d394a8063ba442836c04ff4432bba9963f40a1579d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 b00b49c8ed70ed453ef127711e671cb988aa3069 - Lambda_Free_RPOs