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 1 <| % Stream_Fusion_Code:threads=2elapsed=16.717cpu=31.784gc=1.328factor=1.907zXZִF! ug]ŗXf1-/6vR[]`^O㍌GσCU,,#DF} RP4HQqlVƽ%kfq%| T% F7IU2ݗ\5+DffN*w; JXExv !r  [Ճ G*w$[B/?r[xCSrP>Ψ[>]`HOW{foW6ks'z۲mmURi4ݜǽp}]j+0tFAYo</*F%B=fZ*)Rragۏ!Lz2_Datu#s, 1 Stream_Fusion_Code7 &vH'ᩖOCDq㬫rӳ"3Sji:'HY@lyR\0o D!"8w̞9CÔMaUr2ưr' d9.NdrM=϶6\fv|ȑξt_Qc6 polۯ4xf%辴dw Tšv|!KK@.ǖ%La5@C#9ޮ6uAA.rulYoL1vYv0_U MO,MK Aڶe}W o΂N!ƽNɖH+kv2e1}5O-bik|w8 q*]mLa%=kJtZRCPqs:)xkUKϑi'C:Bʀۺ1/"XcHςK@%[wڎ1VZCjњa R%a =)OJN2O?ˤ'PZwH3OgMnԁy1] a-Th-U+n=46MI!xx<S!dؕP0"[8^`>$O}\!\Y\EYՠ8ݔ-A՜_߸5X"I|foBrM{@ZgYZ7zXZִF! ]w]ŗXi%n81ɷX$߁ۙ2m]Y(b|-Ti3cyT,-PXDrѠ_V nHў<{ >iI?vg[+@e=h>[N*˶q-&d_k?LOKWw'!lE` GXapU).i_/$VX3~r(Nc}wˍNar"[!8ϮhzF&}=* r2S6 h:~q;mb-Of̼fT`o Ef0>Z گ,}XTeW&@db)ݘv`'uZFVLlCp*ю Ud>2wWmSە7/TJDs|z11dRO[ +dWGV}O- <>4 NO%~[W*`\.$㣃j6 n/~oTv`JҼ׈^gf`RY3r'@Y%yWF y߬ HKנ`ߓ5=֌9WF4{ 72'#\%DY_R@۸ kfyuB: ̄.ӼM6шʼnjoepwA\CVQU ?2h&}̞u( ̇;JD.b_jg[ s{e!ODT"F*^,cX]Gd0*}Z\ ۻ 2gYZ01d0bdf631988cc5d8b72eeb42ef4edfcb65c434 21801d08fb7b25dafbb4d558fd6472932aadadea 2458f4e1fc7369c11bb11215ef670b9e49e91ba4 311723c14045b9608a65a890b21a88fe2cba3b3f 3ffd74b09cdb5918f1cf7e22acf57ff626fb4e44 682cf9b44f4b810fbf3dd344dbb58ad4b42af876 b049cf22e7ce3479c88b968a63aca5671d014e0f f0e5a57dfdf7f6cdacfc0b9da865465b469ec054c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 ca57ef1b446e14ab305bac96ebb43b476d3520da fb1813d2a93164e220d76a7f584d15ae661b1c62 19e3e51ca8f84d92629882dfcc6bef1f226d5c1c