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  dL, ]/]HOLCF:threads=6elapsed=12.625cpu=35.212gc=1.736factor=2.797zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGbְԄr3nݍ1{B)M7g9qI|$NiBF1|2J-o]t6 /0E(rB:lM֥}(Z#Udx-?I0VisIf_FtUX1<0-B0z-GR# L zYZ8F3{ dk^Ҏ Hx׼j$\ ك^h|VFOYƲ' N187rku~Q^vm=U.-;ck\V1] -;xPw;VqQ8 :2 Ч>Rhvė{BfjŸ\ڤC,qJqMZqe rS`IJ;yfO{a\fG],0m =ꊾi; gzh}RjѺ\ (g]ɽbT^U"%fz@D}E$j}u/W~佇9Xʚ9Hg!&݄&ΦPEwJt.[Ƨ@lCM, ׀+kaN(GnCk:k1U &uWp1SF֯?/!$gYZ7zXZִF! ]]ŗXiɟ>Ӈɇ9S2]VN/_Y7˓م"Eۥ8ZPz$AYőAtD^_ ɠ]G{ mFE?iMp$ש90IKrE{%q?U@۔0? 7oV̗9-oXcqBZ;oz(>;Emn쌕IB_i/i#=j&8IC3V1. +Q(` ,Y(Tf`!b`~-vor_$ Ao+qgetlג7Pnw0Iꟊ-nԜi-2Fk>eA*FmC _)emKsb|VCrd ]:$W m/E=F " p 8ǴsOؑlWqBmc| fLz4k:"Ym_Bk}$sKK)8dۃxN_—b"0~,2C4țVxLHm>YNJg K_[''8kAl_@ľ@AipgYZ7zXZִF! =pM]ŗXi%92[/4ăik6\Ɏ]Ⱥ TǍ2m>4qb<=_T( <ӚTo$0UCMDn4@(wG|jyeE׼PJ?a^]B1ӥ" &dE'ѼZOAqUȉ&A[վ&SGkfXc>% ʸWHzJgX=˹a5g"_C2(p[j*&oH4\;qF[2C\[:zIR52[Ң,0YOcZsIMKJ?sFTf%"jgI 1 /1