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  DD| ]S IOA-NTP:threads=2elapsed=7.787cpu=13.856gc=0.636factor=1.787zXZִF! W\]ŗXf1-qN50^ Wy<#HIA%a?dO jI(t#TA_ei4ȯd xJ1I'_qu+A\kq$tth YVDZͽ7a׏ؼk$5X6u{¸ه#+“WGF4?;`B @ovt,wiAʟEì<z[gg3 WECj$Rpny!]5ȇ$TI7Ig`Z\y {G?DeZ礝rX+ $f_~C.gYZ7zXZִF! ]ŗXiɟdN@mP$UFr1,I3buz&s`@`vQ=;)k& }¾uJiW 0ng}>7A8)pTҁTSԅcOdjGEsS Pu *Uً)y0@!bMwԭ1wUd? #m=Me& 0餰&y"+}E3>gYZ7zXZִF! %t]ŗXi%9(P1ȇwh2 kZh\P?9X. Hy'=;:(Q]MZcM}[FcG!y ?æ˭ZL9oޚT ;!6c&{OT;<^,󌭁Eul sP*Zb ϛؐ+1cz'n\|ܷ9>psϲ[d @nnxwxYq)r餘\\,;`Ң ֭էNa. H=8N5`$6 {A7t"2p4FHE㋅`3 q ~ٵn~dsfB"t}QF%8)>q\IUk ?y%/qt$50m*`cʑD.ζ`t`>0|2$O-o5iZ ^cD ST8d^j@~vjI}r)AE9,ҴB,Ti!kUg=b.xGsNЕ5׎""Š~J B 0ٞ RROӔK|FA mu]*e Rz `$. L7ͅTv'Jv9f85}d\ 5hk