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 L+ |t m/ SenSocialChoice:threads=2elapsed=23.447cpu=40.012gc=1.588factor=1.717zXZִF! =6]ŗXf1-/6vR[]]c[QU!nݍc ?뼠n_@8SR ES<)24мsgr.RW ZPTw0!(bxQ,Ry,MF$w ҖH!la.az^«ćv~$ڗkebqޯ 2];~섮P ܅` Rk"Ut r =?_(hGQ*Ww[ىn;g%bGR,zTqWxwӞ[^,[4f 2]✦?$VLK;i6= Kі`bfca7*5TgYZ7zXZִF! xr]ŗXi%6xmo_C&.Ig31 s|Z]*\$Hԯ@<)ml,77ib_1Or$>봒ϋeW$yW* Dby&AxR;[-ڷڲ 2u ॳ桰_N쏾ipW Qy+4a{#{`]jq |Xh9@B1 G;%)W/3\͵q"L.9 PCMObea%67Qa\ \4W4~c®#Go@O;k_%VcudDVNM F|čFCᢱ0:*BkT)FY9nBI2,'R-%195%T }.'2^ 9(mqL6Ót5PCN8g{Fj f&1$;Kz'}(\GHvЎL"֓urz65.Z Ev:˅+>e\\f,9S[Bh{”K2f RR?^D8?NVIByrI-=Y.lD76Y>f)\3^Aȶ^Ī YdIu~W!g)k;ᐪ?Ր.0q27@tݱv0=㩰W0&E,r +kO(O4//OD*6>a.W͹sK <ۇg!T'c0x}=yBT6":s54:.s7‚39> burMY5o%.h臾ߴg,**‡hpq3. T3^V!6uHɭ*ӝaٳ, c͵f YUYlyo骛rKegiZ̸m4v4/G.rZsxl~ GI!-O{Gٞ O('h&rP< 3r_[ve[=0~TQ@j"+Z9 @\(I8mituaOJl_v_Ѹa8XhS/ bhf U;n]Tz =ǒi!9v{*[8џT?J}\%蜱lOyl:式]E4UWYU[s-kz5whFnzte"Ax?U.OӋ)MMdňs0pM989VfPlup#7XώoH™cxRBm.Ge5Pꯟ&;G ت}uL7]H?1vdHLƼ ߣ3=W'AA:fII-L7'd#t/P9궥kb=M;Rs+m{bW -D