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 | ]% Stream_Fusion_Code:threads=2elapsed=16.765cpu=31.148gc=1.604factor=1.867zXZִF! !]ŗXf1-/6vR[]`^O㍌GσCUƧZ0J -,&yS LD˭1]R&FDhYH%>Ȅ{o {Y&խ`Z8SaHHpKR*!t@%bvXFpLDxvb@_>jG'/arvhN,tF})[~,JX;j7!;tH%8VLF X {; f *ܑO4q Ә%Pꊡ)?3+\LB5g\_c Puu*bT5Co(}e 6wj=,hF.?A{gɘ85NJb&UYGl6::~"p7O \;׷[*8L-rtc'H"zpJd9Ŋj?ĸ<@875jCZ3gYZ7zXZִF! h]ŗXiɟ ~7m`X$";7GI֑dt,+Z|:JE(W 7@J'-w Ƹ8)EdFBh`R?‚!Abb0c2z{K$!X~X'gYZ7zXZִF! ^ ]ŗXi%9(P j bA#@Qjh&?Й9/t/~Իui,GR>v\ =l%6B-9C@I䤞՗MÛ25'z[k0diV42&Lb ˍAkS!{I2DerXI&9y`y*RǺ⎀y6R0(T֖XL_Ai.m- bF~@@] "`d ŭ'>&BDיo"3\,*|ӑ\1HR 3FbL"wfz!)}K42X>W,6βPa#i] Q" Jk)-˛T_pcb2̚ff4\7~뱗vgA~ 9$M<0Ob Cv)/AuW]$ +',Zxc۫ ִ%n»ozKz6PVoo|n˲dmC?|jM,~?ۨ)'/MQ| h TT0 RıgYZ380c835aa3d25a99a632965046b7816cfa9aecfc620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 b289b2d35e21bab3230d78ec88be7bd1d162c47f 3347854b84efe13904c04d83cf7d9253205341e3 6ca012fef8becdcb15e057d23401e6a605b8d602 1 Stream_Fusion_Code