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 a1 ,D % Stream_Fusion_Code:threads=2elapsed=18.360cpu=33.176gc=1.504factor=1.817zXZִF! #g]ŗXf1-/6vR[]`^O㍌GσCU,,#DF} RP4HQqlVƽ%FRVe.3M]۪q'@~DOV/RlF)4b|f{4gmZpf*,14?TMG 8** Xd WgD4 iJ ȭ6SvFL׀A.ȥ *>'l,S51b/jaGlbcӴ%j0)gP<h-`$"}KҦlUўW{Y eƲ Xɩx|qQgh4oƝE|I^U{SUZݥSbesr#HFz-3޿_~~l!;l &m X`d ӽzYJx 2PLL" ~.%'NkܿqlS;oV6_?!6UD῍*4T¡JQcpBY8g}e:&\VX75fXCTu-X%ihѡGGC^Ήvn[E۲IQ 6UEM:ig^Jt~`ҷ'3rzI%ldxĎ1RS޼E"3v'E!YsdZ Rh㧏ܲ4IaI혒}E0C+rF/7A %Dzu9]USݯ |>pf#N֪蓽B8j..'+2 8I=}Q `Ϗ^T"z`m`gM^Fp&Fn$l>+zĪTop>]YU1wiÇDŽ7GkL\:65|DX8l(nh^2Y25;6dƙ E љ[(^$34BEk#݁ #al+*&)^,/vp$UO%_@^]2E#PCy(, 1~;Cc'77ho|#6:L0)4+7.wEvMm3b3B*ܥyr~Dչk-Md/aEJpoNRLb]'.K]O`a'E6<̖7u>/6AyL8&z-cipڹkSX_uI_o@ZUP-ave3˯Ucr5bY]mmȪ2t fcgYZ01d0bdf631988cc5d8b72eeb42ef4edfcb65c434 21801d08fb7b25dafbb4d558fd6472932aadadea 2458f4e1fc7369c11bb11215ef670b9e49e91ba4 311723c14045b9608a65a890b21a88fe2cba3b3f 3ffd74b09cdb5918f1cf7e22acf57ff626fb4e44 682cf9b44f4b810fbf3dd344dbb58ad4b42af876 b049cf22e7ce3479c88b968a63aca5671d014e0f f0e5a57dfdf7f6cdacfc0b9da865465b469ec054554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a a52cca36c501e454ac8d14ffec7d171d1797787a 8c22ab7109fbf10bb002ead08458c5ccb5316d06 1 Stream_Fusion_Code