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 y T  IOA:threads=6elapsed=7.393cpu=30.116gc=0.940factor=4.077zXZִF! c#]ŗXf1-qN50^ .nEށܱsO.($.hg/[ɿݎF*mL%rn}W[I5㺋LM&ß>r3X+|="{0f{TPhU 6ɒT؆mP"g0f9ML|]# û4=^MϷN7ƾ 'o%[ gN0Iߧn[3)$.0Y1Z *Qg0>PZڈb,X.+&5)rkMk\'}DD5J:}!L5ּy~<(s>@27쒱gYZ7zXZִF! %]ŗXi%6U6⽇G!mAZ xDvy̤IT.mu.=qPb+C#ۏw5ocJ@$XA[=R]mLhE?$kAJnډI X z:( )hS4RMF|5!fkc[fRko,I &ʳ` gcAF.c(-T%D|'sLGŭx!">R zxErtX+v~+YۧW-(XƼȄ%}F9g~z||/7RxGF5D)p"E1^*UC?Ȉ5W&6fl.W!gUsNB> UY?հ/+  WKm.Ρ@T"Lu/7N`?Gf-|+;{^XԱɄVc삗N0kAI!y\M4*_X\{ƤK5@tDyu[l>U= Jif3 +z, B;ʧQ6r|!lVLv&[c T(ٳkўY߶