SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info c+ l, % Secondary_Sylow:threads=2elapsed=5.584cpu=10.680gc=0.340factor=1.917zXZִF! N]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃-W"@r&TpVQe)G(XMߦaD02;NCbXo )KͷczA|m@]E* re3ʟUkwԭ؈^Cly#ĝʈ M>Z B+8ym?txgfI404V1kLfA3D Ϯ\vJ詔Ǚ|}Px/YFz_Uɍ/h:iE{\Gٟӓ2½KdM#Q` !%̈́*Q ̦ib^ňVʦh\YJ`,/[rfR=g<.moe xn-kēa)Up sOxR?ۄl|:8{< &8kK IY<Nv. D[4L)f9>mA\QF5"YZpGU~Uuq=+zK$_Ԅ + Secondary_SylowUN^ƹx1 tLˣ&O'Uձ>R*,xWoQ^bI9t!w@ei컾v$#?/X,ܲ[\Qz牪hyƌ0_>T`<6unu߽}Hc񁡉7iuA^U*D^A*۬iw@wǛ8TnueCV:CM]N0.4cV;ۛWP:Ri-n@j?WPQ01w+“7hU l ;7vІ 6'oTQ .OϛDS۟mS ǗC,~^glo:\zcO|r!Z5٣玶t  >gq6?V!E2V:& ^aW{քe:oD0 48gYZ7zXZִF! %i]ŗXi%DQ/ $ 넏0#8T9J9-vDYeP .Zi]&bYqT|:Hy7N}1vy69( Adr ft~'p~WMBwQ>zޛڵJ"%f$`vy[A٦0KIz;9~ ؍A;"[xnkO;oʨL7DX&Eh]HlHb^[mOWVC09QVfM3+IJ߅dUz3\=*m& 0Ĺ 3\|L\޽KE"fK!i ,z$Tz h) \aмsM쩌>?@#c„Q~P,hJ%tE`$Rp[-2` m+ bu"WLUEWrdcY@{MN0KG/\2 ZZ9J"njk !3M-~!󣼀RR*5/B<=O0fAJɁ[҉cekr]~U@@{՜7jj7\sy͋`R h8UƏd/tO˪]!̝Zj(^ LT\_ZkT$]F?3[yX^&oA>iZ E&y-3K3琼 G2&s"`g]Mܒ7d~̔~!mN&b'LќӺaaVUeJigYZ0d4ca91b60be9500c90aee83710a5c32b25701d8 707f7081877423ffbac6d7d75ee7625d5f888056 9016e70736eb12e7f8e98edb02ac889909110f14 c6d33f696908642619028f80d5d7707602192bd8 cce72edfc02a20dd206a2409c7be50875c5f19f07df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 bcb2c163557370fc3c262b426278daa35f969e98