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 H+L< S/ Ramsey-Infinite:threads=2elapsed=6.832cpu=8.440gc=0.228factor=1.247zXZִF! W]]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`T>T2{Zl~4%>u"V#cfCO?r7}Zg&&S C2"q66HO"n8-!|i3?Bң'3X7"YCTh)d2e $VQ.k u{MFWуq)~UNŝ`}A wT/hsԾ}Sإ#s^ZuJꀨ@[!XЇM7lGݸYd6&/ظPJs $Cz-_Cc]?e XF٥Vuo }=V}o qc.%3ɭemihw_NO!5NȺK`hmΚ5nornuEشgsӫ9i[)SƷaD&:eo^{E'K3k ywkl f?8w>[`ymWgyg:}6$f䫗 J:ϔq4+$!ܑRAd ڝXڲˎ4ıgYZ7zXZִF! *]ŗXi%HﳎkQlxF=`GyvτWSld + Ramsey-Infinite%bն|hs56܀ pb8(b7_3xl>Kg h{^}IK7,R B>':xGctV7D+3CleΊu>O1뭓z~YKZ XGOև"A mqt';G5I}Kr[=LN'j .(CAYh؎6NGmSduXi":S1qgZkbEsQz+/