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  !\,| ]] Spec_Check:threads=2elapsed=1.910cpu=3.148gc=0.040factor=1.657zXZִF!  ]ŗXf1-%˓:[L #cI"O nyE .cow?ȵ [ֆ l l#$ qևwzrE)̄pHL? v&T k;H^S;/Sƾ}5΂~U1*fNױgYZ7zXZִF! P]ŗXiɟ?NX)K/Wx2~ fˌIN Rs0[,!|P7vt\3K'kDlgYZ7zXZִF! ]ŗXi%6`;Z:_R%VJ5'6O?7051ƴa_D~{EYK0qϊϯvs7[d7{@pC+[sA:LCWtrMir+d\izƞfxxa?Ja5KZt-Q4BH+ Tg6$!Ҥ5$߻ֹydSvb_)~V Q`PЊ6Txr* H3ί`tn,Pњ4GopJ8sg׽B!Dp %gkx=nan"niA.LMQΨv0VJSOhF6vyAT2#$݀ڌ9׊&vr[-S<\ A$(qgYZd5775390bcc295bdb66360b4e4b9ea349d0fc3a371091afed7a8a197c38e4fd92b1ce9b0f5e17eea  ! Spec_Check