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 L9 L< w Card_Number_Partitions:threads=2elapsed=5.610cpu=11.304gc=0.184factor=2.027zXZִF! ;]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}$y{( 5bS#>Tc*tȟ*QS]GX,:wc>` 7.c|d?3;Ƀ/Q -l[(P,e2cESRK 9@% arݨ[])ٌ_Md"μ]b\=v/ѳUu-pEę_kr[貂E)gGsxTߥuIYrܛP^n/{6Rom^9C%>v3aHČ9w^c J bIF =-(Km\OKkH0rw+Q&'J0>dG\l>֐Ů{݇/T˗n-z>}殹jPv=RlAKQ~u2% 1>lz|֫}^ՂtN#TF~!_}ə^6dh,9XO^>QԱD̲X+B= *dH)dhp ~ :1,QȮnz]Âl8]?:)$Hd Z>e,(vWзnݹ#d8Zok# ЙtxF^cX ixFJ.heJJ1.bvfЯZɏf{3_? UMXSJ ZLw[:Ԗy/@1ߖ_֥/fv]"NwҲ P3Uӣ>M7jF.yRߓt#xo~_C5X