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  LT %w Lp:threads=2elapsed=39.531cpu=67.092gc=1.380factor=1.707zXZִF! $g]ŗXf1-/6vRZektZZ/BcHkIv[ W %s%/[)V\fe6XZ9c7+1}]#(hI 0^q=%oyS_[3΄{^DXф`Uۿ܊e؀Sub+ʳk'(PGk5ͳsX"7c_8t )];7.tJPm'h/g6LT+!5gy2]d ̸?{Qj4L0y=,Q/o]Y-m ,E_lӿiz(M(F  Lp9 2F_RI ~ˍw'h"/7srKY6CpiH`4)$Ҽ [wAAx )ŦmXSX \}|'V[T񼽾rH 5`k-ȓ~ ރ7?Ԉ8ޔ`^n6e4t5p2r̎qx^EGuAB'"ݭ D>c#LTerB͹X㧢Ht\'*K"QzF1kl@#`ډv&>j1$틦o \IS޹ y( CHS@\4Fp!W>*儖A+=8zfϒaLך&Q`*&:#%L}[#<&#$O׬u$Hdg~gYZ7zXZִF! < ]ŗXi%6uTץ%woBR- QJޔȬRMSMl.*ʈBWǔ,z){y n'RGEقco9O#}pg(A^|obW(jńU ,B+ُ"Ce(oXF='~ȌK"Ӛrz4㼠us"組?BtˉtW5qA7&J]SGM?.L&zomeom߾U-EE &NЫDwB 럐XIh)DyX˯4f%ݚL%J خAg/]E*¦4 7h"lOF2kB;ghlT_3@ܔ>g~4zRgh-iA_8sJXa$EP nϴ2: \?\؉A܉:x.) SX#[_p_Y;JB!47g5҅9YtUJ#N;-R"= * I*9QvƤuUjn$hU[iMY-d+_.:*`0fG8w&ZYͱg"efƀr_Y}~]06gDvG_;M y mg.[-7w{5`lP0qUq\Ox;0+qeZ8[4X/ < 0wɚy9jɹ.2I"ɫQlA9,&+ 8=;*ۛ* G; ,Y=0 el(jA4u=\Ωpy^&u(RY ="tލ(aOq[Ό&YZ{_ԛ-ػJ1.pׂ^q=f)X1☆ .Jd6(G.b,"w |G(Yz4 WI47 sz7킊@,yߑ%+1FDO Uvyx=LX8>&fviNM2OVe R#bJbY}.J:Q=w7V6> VLG=< 'r:̤Iݠd. "i C.;6gYZ0413561ed4e5f38a3104383e14ce7eaa1acebf6a 047d033174dfe12ff4fe7a1fd8935096a1a13bac 1699a168ddb314d54ec3cda089dad5af663c03bf 78a9a19ee7336b0f80f15df5f52ed2080dbb7243 df52d5ad8bdbdc6c9c56614a8cc01168fa289248e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b 86c7fd1199441702fd9498d93a1d3535f80efeef 81c60aa8bc9ec45606136020e3096419ab0aad37 3cfa26011d3ad9007f9cfe141f0dcef0b322e0c0