SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info r5 ld  Lower_Semicontinuous:threads=2elapsed=7.726cpu=14.252gc=0.268factor=1.847zXZִF! cY]ŗXf1-/6vRZ;tZ6B%UbmVҼP&D-,@xVWti,_&W LXER|wG@ίi{,OnQ!$$7ÏcNŠfU^s8YqWMgHt(-쑏bKdPnZup9*"F/Y'eaٍXzg56XznlME6ln>JW+,uDZ!M$ 5 Lower_SemicontinuousMiʤp&qsbA3WjëO˕V#~a\+?`sz)s Bxy\lXBy,U#O)/_yqT{`y],NXPuce(mU <è|ZlǚRZ񡧒R ΄:|@JtAZwƩ$NJU>[ta铿>rf0q_i{]p )ԞZ.ϴ~ ._@>TtÄK42Ld~!IP%}FGړX9XV`N=2S)DxZp򫞞4@W?F a!({p)q˧jA\_m4) [Q|IyߔK;tco_.I2SٛocXoFvZ"6/Qt<2;*.IɧqjK1PX>@zɵl߉Ќ D[.M[WbZ8 y4ڄs <<_~ڑe9S8d#ICֲCNb 1گb<:ȥY>(3zRQP0ZotLiCsN2=ߔ9J0 Oa.YlṆ\ҐCQoґ8۫ρBj 7٠ZHCW+y|MRU1TΏ; (GgYZ7zXZִF! .k]ŗXi%?59.8vۄLj%q\Q9ZЌN>~+enNq~n5VbQkYDP6 :(;ys2v_O!Nyaek.d \_Pdϓ}2mqUC}lD+-u>8Ԝ%/<ğ*g,gҩ59!m@I,p5i%&/.߀iu>)=(?X^|?f[V  *wtwU7n|:3{DǴ>/%ѸN# ^mAʟMK?&f6 >JFX4ÎܽBIG7Cl̩VX@`2n ݹ%N:QUÿc>~ZPkw HRd6%sIpD*0;D\/n՟thR6siI-JZqÚh$j/(F]}\kg(Lo [˖y׌?]XZU[":cй㉆d46 D& :|l39)kt4BNP 3l>Y#7yvӺ2wf io*RiL ka ȇ񿖸qmRZBPS#CiF0򁚂LI BI٭."hV~P @v ײut#*])6J{;h6HE.Tf~c6aX/y< 6d5"`p7V9]%i'1@e}JaVC<?;402 ] gYZ48fdb4548fa2be9c6ad835a63debb9180cfa233d 86b65e55f934fbae00684093cf22aec3241178a0 a225c696c3e9d48f7c4f8098500d46711fb37700878527395436048d51bd6287a500d1cb05dc0aeb e50af90258c1ac1951ef5f989d4c925fa138d449 2a2323082de30af594ad8800e3610fc181ec79f5