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 s- >]pE џ`YA.9 'e1KmuVL dr2C7}A̛>[8SՄF%^}nBN7Y0LBXRXwK۬M()߉zzǩ9n(ZQ64W;R{ q cc]#Yt` "ɔ9Sn x5Ce2Njs˱m0߂OT1gi L *I}H%MPGb7[o`~r$lkT>Pp4!GZDYu)3ǁQ?LIf6Ic9a2S3hD^H]spwHKgJ2 V^T>ej)_F7)-U䍦M*!/v7F=4d<*:r-_WxffubB_Bzbe!HdiSB_b~AVlwé1az,yANz"7xAQ+ 3 RWWō(qC;3&r2@"0!r.~T3@$( 83>7r[3GA_]ovJ2 :OKNӁ%əVSFH#IyAPNE%,Dݸy1t#h(8E<-U'aKhU\kp=y=2x;uoHgjDLp6ȴoL<5úDAQ]j7}c=%6B To'؀h v&rr R|["5讦9_G?QNEGGRj d@9jC9G.ڠ|ã^r(vL]QaiA VEZ"y[rAYX35f]s>gXMޓ2jmFlh1Co?}(ŀCg1ut@W11YC4)m-BhQY;A/!0K_EWE| YL=p?xVLx& \-(B\g"zDBsi%%b[o mAŹSQ WU39-4 5AUUc%FRjuȧ>;`㽖LCxPiM{ Z7)cWOH QH^sn`/sdSYÏJi0Q)X]aY齻έZE~ g*27Štw5, #zܬ=?djfH\yiSc %WԒ~ 6SD`1lYMs`a bD:Ɗ6*gZe}g8oqGc+\^AaxUO7HR\1;ormՠ3nC(}^S{dpc;^;^ z`Q}jhwgYZ1ce111746d5a10773a2da19c0eb38854225e45d6da36a99885b072ea1df6da1ecd17877fde202f52 bdf29acc00c9b494811f7778844336d9d406d3ec fc50af8af4747fe4fb2fbf997be512c5134346b4 - HOL-SET_Protocol