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  | |5 4 % Lower_Semicontinuous:threads=2elapsed=7.660cpu=13.416gc=0.244factor=1.757zXZִF! ]ŗXf1-/6vRZ;tZ6B%UbmVҼP&D-,@xVWti,_&_uSbVݍ6 $ĖurKe'y:G#t,bHVhvȎcFʏfYn::ps?@bX)XKn]ÚnjXR((E`1hktHk"MH Ɯ 쒂dΑ# +1%<(b#WMF!-殱gYZ7zXZִF! .R]ŗXi%A"؝>@DNIhpƿ^vbLgVsPԣ&je rE * D_ww A^::?mKGx;f:IrL8%OR+7 ;zLC+f:xsZfKejy4 pXQ4JܺbuD!Mnc2!ɷ JS닣f޿RڝDv^zbԨ|c\^n4r>(QR @"{Gs`;uvT(,a̪mF +WSCV=MEq4QL!j]ZbSs)Z㈢dIT$ٿxÃ0{T(~g澡 /7rpBThB5 tN s`Ͱ i}lQYxCTq|f5"F(92l ]j=j};Uߑql./e4 ܣH]۸'!,F<+' q]K Ё#qij(T](O~_j`\-*Ri̮FH>hҏCAdٶb!bQT)AծNPnO .A %yw:8@b1m1*# Hl0* =q<~@*?z.Ԓ>Qۧ_PP:E)}ؖggXjTpiH!y8>MZqHLنwlUz! m *S=o ZU~~\-J K]jgYZ86b65e55f934fbae00684093cf22aec3241178a0 a225c696c3e9d48f7c4f8098500d46711fb37700 a37c0ff6a586dc734eef0c613efe285630dd0169735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 86e95bb3182356f659f9dccb3c8075066387911f 5 Lower_Semicontinuous