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 W1 t ]% Stream_Fusion_Code:threads=2elapsed=16.865cpu=30.528gc=1.304factor=1.817zXZִF! #]ŗXf1-/6vR[]`^O㍌GσCUƧZ0J -,&yS LD˭1]S8d2NI+@&pƘ~_fRvf͉JHODklꑉ:LݑS©qd`beX<{-0BRKOX8zx\DE$E|84!U_]W]>ﱹR>?/ ~ʾ..A׵t %yYV#WG&@po Iw8pЫѽꑣ6!l2Tm9ωs&Sʽä>^ X7֔)g+r.7svSH%;zv<6dV6Ak&If Y=?m!-|` dR8{R*VM+%0̨ ƻc<nto4hPu~? SAeut 塻<=7_-i%zՍt768ėjLE~tN+GFL><*RFz/—eҥȖI)3]b $xE -E *!}qP8r@ m{9ϲelr ;F0R 4g nBPSVk ;ID^yLbr]3NͯoX=7&;pml;JZh6#FK;elAq18RIˊY8!Ӣ蔖FzsU3/a6:efefxMH? H5~BɌW@!xqZ;ƴM݊"TAVf(G3eXsp=D!qҙ Kn9;3ζ-L;Dؗ9z(OֵԶ8%Q(Ls-T4mY#/ڮL̰i!c|cgRCT>a<Fd09:a]uzVR'i알w̱am)/0n`_¬,* 8Q{-I*DNͦi>VlGDXI0gR%e@$\D9߮ă gԀ/Џplj-rd#ay i?i (49fnH}MH{aZlh=t H:CB~VRC&OBڌfPWF<$_s>iy>QWXClhBjx`UIo;CA半6UWn1C).Ć!Edpٖ36Mδ xUA2R,X (!@W%S.M(Qi?߹j1'} }d'Z:RGu) 4S5AU[e^n#砹BpM3Lwk%V?3ML,W3&ȫklxn:λ6 w(]#O3Jsi #E1Z'ܰ=5g~JrpE\j\/ 02R|]~j~|{ڗ%A£ i^퉞+j-CΪx+UJc2sdmJg4 K^?NODtv;vA3?RIc k % <#ؗBv6ʰ_Qκ1  tgYZcc227436cb153667237b047ce15ccdfd2f08513d00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c d0f680a53915d416d3b26c69192daf67ea9ba224 1180afbf1eaaba89dad639c645e56f9b114a3cae 1 Stream_Fusion_Code