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 |3 4 w/ IEEE_Floating_Point:threads=2elapsed=20.878cpu=35.060gc=0.644factor=1.687zXZִF! Q]ŗXf1-/6vRZV"3%]r> =GX\sY곉 aEx:;w.7~tv/G BXTnC8LتYǰ(枷 3 IEEE_Floating_PointocxS/="ebN]و-ɶ>nV섖xp)?5Xa5E094i)Z8"yl|AYq")lA%!ilAS>w}|6aC9IXP7fN: O SL.ϙEeg)Wa3K@՚\iZJf:)Pp~󋴈֊ϻ[:b,Ȝ9;U@yqb5-(^N>M_\7zY3qG3.vҹw V [@ɅDнY.& zujQ:cC}.9~QSNvhqbW&N N?!e̋**\s|DzL#<s`¥sxو$ߟZ-숱}vgƷW/ 4CcavOAH)N"Cn1&eA+`‹isZ:I֛ф=h05/ղx AW9_W[b]%9{(%ڣb{´Z$^?k{D.JLNp0FjpÃl 9*>"%{∪2"x8?ŭMud(!4sV53#rR'$I߳w*ZLnbtK' |$I;;X[H_y`Z 1:3nLBT"v\S>2iw/ӎ=rgQHC=T<1KzFi1>?>ザ ӽ:2>x 4\^G"%+H%,!5NpKVQW:/;#1oJy<=.|z7 9ݰ֏=zڥ*^7;hwcnm k(u+V=֓%$}d&ġ<`(>IU-z2K坔_>bSp^EX+\19 -{?Irrœ[EX +;3N.Hț7YߐǷ K4Xa˘Ĩ$m}d^?%5X%`#OyrpɸX7~i #TgYZ7zXZִF! k]ŗXi%HjڈWy38vjdf#sVmcotitRC~>c*ƽO2E5D;th%}a=J@(ALlp2ʽUZqA)QYa 8O٢ڙCGFO©$qk`ΦGb6ߎjy61ր~s?p)-*3V<4⮘F@v;O"1jN6J[a"GWWVj6Oa4zp*d!Ѹ)0P]4 b=,D2ξv臣NIȦgp7W O>ۃpŞäia,(Ĝ/|=x4_-^dbΕ7j1h= H}b<(Gly`inTګQ!]׏i,Mw׽X1`2!y7n0HTDV1zZΰ-L.`wÔPy-A8nOfx(nH0`̆*2=IҽCOP8 h Ըp'G,*eN9NI ŤԄ8?4 $(PTq4j7R"j x\wt% i$~]kbT jx:y:tj{-JDq #3DnGp3Cʅzߋ !5ueTH#`)AԵ˾D,9Vsq6&a""@>Hl{Jpv\tp,BRE1V^?^FiVa L;}Xv?wrk)bGvj^\,c_DBl$ٝ-&=v^xJS"?"f\W"~=/CWfE8TKvØ8LK%ELKm.B"i9m/iVEQGYZ}`R]7PoK] 9qh([,g7k,h0ږ7С@`a 頚rҌgˠe|l>̭% WedwAdbQVh\yfw(W4=DŽzKO`w:E2}3=.˂M'n <  gYZ52e58de7f6f6fb16a6433604b7243bf110cafc66 739604e7b6371eb898e1f79ef9e18c789ea4195f 88d48bbfc3dd5a979283b2237dbbdff2a5915fca 94eee150f6e23efec055b9cccd65b0bed6c814c0 c305d1519764c5f5875553ba77696bc8d63ba3e5 d1f859c96d5de7b9b56cf79764e40635c7b529698c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07