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 '1 lD ]% Stream_Fusion_Code:threads=2elapsed=16.854cpu=31.236gc=1.704factor=1.857zXZִF! #r]ŗXf1-/6vR[]`^O㍌GσCUƧZ0J -,&yS LD˭1]R) w m7f_$UV%FNQ]GǗhJ贜s_"Bnn)c騴 {}}z5hU|V{\ʕ elEa+8JL{v%UFk8w{ zŒs,Ak N4&œ6j/y ,;_$fWٙ%[Iԛ(*+f]Bx@TyNosPEwMB?]z= KS5a-Ή&"1D<5_"~=Caiaa^$ zahlr^y4&| V=e߼2vq6][xE~nE"~fq^F%qRT rF8 -6!*}@xZ.L3$],k0 v`>8U4OU E|WphV\Ryq_0-:_QIJ̩[wEfZ2L-M=|Ո%,!׮1sŭS63,,m-Xă\|ȭiFհ`W4VX /gjı칳Oe` 2w GW gcorWw=s᚟)gvN%3F]رgYZ7zXZִF! h]ŗXiɟ ~7m`X$";7GI֑dt,+ZX{I> :<N<bgFIm8pF:yK5mlD=M) ;CH>j 'Jk/Km&%'gYZ7zXZִF! `Y]ŗXi%9#c[mniZ#oN(|BUit5g HF?P_į"&" ̧GΚ){hC5V&rZ0To]Ӎb58.:7΄rs<>3"oqZAwǍ?pY4gvA'p_J5L[CIܟB= 4ǔE3\qqzx gC-"e=9?B;S9ox< EB?钆)M*T cr1ߔ7'XTEߧEfu|BLg?2O-)w1F@44~*L"kTEMO+W RR[q[# NLx+pt{*#S3HOΜe{Hhw  QG{V9s\Sj]/ש܈Jj/0 ;%+ `bôdy Ao P/4)ǁm6_[nz@NaGvx-!$ [# ggKN)/yVN0(X25ZQ i*'R{S [_<ճʻ֢q%'Bc w) m:ݺ#why@汌yq NbH&DfI˴_1l6p!1(/AnXg78߳ϯ"ucqI Є0•_ ^[vNdsFBLoV8 RHOVGu= ֵdއC~ BSjC`8eNe#:j8wd* ]ӯ:ՕOu|P@*_2^yw!pllŸsnSS9(xYUIar+#<|9,5.䭾@ōZ"A{Of4]?)鏲JtΥ44beu!B|1%L`?R'ڐ֡O3 2qR8&%.EB:<x؈~2z0Dd[VΌι+/q*a"<sU <|[ތݽWQGVk0^B~51:efIKj#YdeJ;({|0=qB$(A"lO1dD^ϸa^Yxͽ762n6MDd[2SMClX_VGbhKE}+ x b[(44wKm/NM0K<ɏ/]Kx 䂮O (AgYZ35b53a62473579c58e7635968ada66efa7d6ff578ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c 3ed685959535f1327bdf7d26aedd8065b9d7bb35 5ccbf70c8bd01fe25f33a8f64fa29c599d91cc02 1 Stream_Fusion_Code