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 ~/ L4 %w]Pratt_Certificate:threads=2elapsed=21.144cpu=40.272gc=0.624factor=1.907zXZִF!  ]ŗXf1-/6vR[3 4#d{T>9zmR,u QJɘ0BHo?wIM FݣB,y0,r4c$`-|CפR(d>>y@WPE_V`!8=:lmGaҾkߵ񈮓Xki{OUKX5pPRNE!(ӻW6<=Eׄa^@,2=+)cY+Ҋ'&uMC"4OR.PlݞgYZ7zXZִF! l/]ŗXi%}t+2"8 rUp=Eƻ~VRj ۪Y*2h6jN̲*f+:Ob#Pjpx▼e3(/zedySnwIƖenX q-T/{] FǬx;o[ !tm.n2v'^]LdiH(6C5B[b#2S˕.hJ+q'6vr'I aW>ՁU#%V$ 4Ip)$rNpy_Y/6õ`t/9zΔb'=+]XOta!`tl|O Xd=;8-^KCUd+byT%̓{6ޘ% 7Ռp;R8K}v2=.S45>qTFljթCyIf#Qp(|0fe,YJ$wM  58\ _,k!@dvnGCZG|qĘWXl:tq Of'Fxpb3շQӂ,N"!:VtRCt=Mi#YW?*Q_>9鮩VL6oɨ-FL.Va y"40ȅG.VCÏդϠ %td