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 <<A- d ]% Orbit_Stabiliser:threads=2elapsed=11.684cpu=15.712gc=0.640factor=1.347zXZִF! ]ŗXf1-/6vR[$m=ԩ8O@:;M{j:h9P`^CY&HF+w|x1?ez+:WKK#giL\;è\cSۭF(S'OjV--LӤ5DkpMq=zedgq|puso]F=#Ԏdk1YP(1VP耏iLk\ܭM֣'#:Khqu&: 9gYZ7zXZִF! y]ŗXiɟC,|XJQWpnz|9"癫;RC, o0;Jf 0}G0aԄm$>.h wt>gYZ7zXZִF! Fo+]ŗXi%;уw!s%9H$xPz- [| *<#eeYHJ--53)?L'7ËS,xU+FB$m錦R|b1%K6}NW) VX3UYr0|,S[Ja#E" ܨPwU_7Z;=6mj/z\W6[Gm꓄ oȘվ@O:ZKpK;;DْɰO tb);<ںkéd퀂Rh/W~a ,&ɓRptՙ_E3V9=zb(1(-)HL1ɒ`2*vf# Ey^ y§L+AF 2Cgj͛hzA1D[,HO{[*\'k*ڄd0@8=?U \W4CBZ\ oϩ>k@/T06ʓc;أ g3ޏ_]>BdB$)|CcK)zjq,>*;]1jEȗ: mǚ/~[,7E8Ξi^`Lԇg.'W?iyȔlaiA56 # 4̟itxnw_< T!EuMy]J 6NQ;!f{pIPՌ[r.*=!tH{\2iV fxWGCe_+QP`9ry'M[bk- U2!o9'Az#'}crs(:eEp?tG9yLznW5t HX:707%n {*v|D `Xk>8c=f_+uV٬h*5d -)ǂ 0o2jC(}Mpw} 6P[B4+l RY}2-`\'5SҴ?c!?,N0 G 8FkL[tgYZ391105d2d03592531fea4bac1539e0e9f1ef71db79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 b00b49c8ed70ed453ef127711e671cb988aa3069 8d5164e5d73c9776ac23d9ac7921c2466aa7b653 c0d2212167485df5638311f4a52e87880eda6ca7 - Orbit_Stabiliser