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 \T ]% Stream_Fusion_Code:threads=2elapsed=17.552cpu=30.984gc=1.444factor=1.777zXZִF! "]ŗXf1-/6vR[]`^O㍌GσCUƧZ0J -,&yS LD˭1]TCg*UOL _,g`KE6-K163uK.[DѺ"銸5A | \ͭA9@@q"sd 9@ܘz^x_@4/Qz!rSuQY!o+ Yv&19nswz" ]%\ZC( C,C ~j<RAE.4f#T!+3&A~ꓮvQoI#=iƥĨgWzp_,{xtlanɖ3 c=|WX3&k~13j>4qg2?kB6VlZ|lT, dOfkG.*=Mhܮ Qkb ϿՀjރGCT> p2˵#(/ T;Z^H!׆ߌ(*1T)Ol9JH1핫0/L:;=Ŷ PJ\SO(<( 3<l]c-@O{r85%e;I"jaXEm%0xC)nyȶ`wDUރjKʃ h8hcyEHRgYZ7zXZִF! h]ŗXiɟ ~7m`X$";7GI֑dt,+Z"{$ήu*w7`bQ&\!~ѳdRlT*uȠa5R Ҋa!l}HZGlL+n gźK+Uwa0ty270ʨھgZχ#32&.YFKT iU e` uEn w1ͫccjo:E,cI:'/~X~!vNonJT5xk:m1yTAޫ1uP Ft(Ae|z;vM?=V'/r+-7cµw3~y@ɩ'9kU֤i~wz(!GOcȸ>ī"X7O1kQaՁ)wPxԯ6xNGˈI,[M_J3ɑVO7MiiiXQoTTz)+nvOLдdnv ;UCHrerU4iIA54 t}| r{\+gr4' /ydIfT9 lZՏ2`ˈMXTq?T4OwxeM3=al扟Y`"m_?֬|밦x߅_2c߭g1CU$198h{(2b6)ox@OX:F+|QMf-i >8aޖqREB#`LI˂ۭZ5;DQ*["WakϷfbb?LsH'E9':, ZS :ljdRo9Ks{PL GL l7\e?hdu4nG3nhYC3kMq.fhvƒ{ Y䠿rfM/Wfk0ɩ$(b$26]SOl]FyZ>}>s+f -"_{Զ8K%93ədq*UY-s.Φ}?͛2dS&?D>7İ vNHgYZ6a52dd9814dddcaeffdc2d5b16ea45bad90bcaa0a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 5bb8c4dbbd21942ee66e9ae8e3e4ed5a20033039 fcda9ba59859ac808af89faf9ccf4f1165eb514c 0836465aa342a688e195a190b989961bcd9c2e3a 1 Stream_Fusion_Code