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 t) <$| ]/ Resolution_FOL:threads=2elapsed=16.594cpu=30.716gc=1.500factor=1.857zXZִF! ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFsHƞ!3i)KsbJW@ueI.>*5m1#),^#|eRX DPڧ_Am KpPusDŽG"0#e|'1 :m#UqXo̶AWnm53,w1Wb_vO.&71gv8)Y‡Ek>ȑYoEWV]\ w# E*-QcR^[M|y7;!V*9pGЊK2,Ǔ͘A ==tC57soD (^|o=$]!fF{y`tb/ZYh4#zJlaJ%,|JJs?jd}G8RR,A8`3xkQ˓Q N+s?"%JձgYZ7zXZִF!  ]ŗXiɟ1˦r.Hil c`1X14?5 $W]HVF{u1|Z ?"EsGL+0 8&ν-sJy?%>Sҧpzzm)׎zB!vgrUԉiI/k+.Vb_̎0-:YBt_)̥*1HMPi ^='tEl(Hl%v"-D[>$73=R'ogYZ7zXZִF! Yl5]ŗXi%9(SN\&w9;|QW6c¹J=BDR{m)9xIo#8DB#5Fk2]xy?ZKgH:2ڶc٬k#tѢ(yrA6.! 5Yior&4jWݑpT8 _?؞SЇj*ՑY'\;h]a5e\<Ii:@4<0~ F;)s9^գF͂qQ4Pwo-]K|d x">(y;[s]Vw C73}_#o]Y$!@Ev s*|Q+j>W2C2 ;F^DmfCz[Fъr coǷ&l<#"ƍYHV H)Hb@?U0*gDԂ)Z=!@p^R#,B*ic` ^2AsVp+R:J-+xwӒqL}4T!\2Z*i=/(DvcVr[`S%DRəKcOߕӞvT7ϋпX/` >ӜP7Şwr^8h iNx0zQ|V嘉U j+Zt\ as;MY ,SgYZ7fbe9c0ae06e4823f76b60214434a8cfc463c0ac2722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea ) Resolution_FOL