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  1 1L+4\ ]% Secondary_Sylow:threads=2elapsed=5.973cpu=9.988gc=0.256factor=1.677zXZִF! ]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃.zt# f :&Doi:whٍHFTHҩyTOJOPDA˯,7dvp 8"ûo9%ݟ痐Ϝ$J_^9P TC VzK)o>|IM{U;k|MvglivX1|`A7S\lBZ2]dz "6X~ʢPm{}\:2 b~}zlǽGJh$ ExOH}R!ӾTo!DqJ: {5U;H2{:Pm!=>ZR#xjYpcCZdBPFlU*n&ISar>+8+;&YnTdtΨLH]) @l?B,e&!˶R$zYrxlo|$gͷbqU!fL%X](Րm-)\{ mCީ C=\yfxȟ“+t'7?QYZmb雤Ϫ*ndyXk1ɩ]P/EvCv_jUKa?gkGE0=Gݩ8./K/I|wJpͥgxd9:t\ˢi3{YC/{^6?9u3pNA̕AIO8=ʱgYZbed37131c9de9ff31bb93771f4c38ad766f663931e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 03989dc119440e078d11e8176c7844190ed072f8 c8d68aa4c900a2002b0247eed5bfbe292ac887fc e1f6df314b7334782f467ea5c8be9602e0d3e104 + Secondary_Sylow