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 T%dL w TortoiseHare:threads=2elapsed=6.520cpu=9.964gc=0.248factor=1.537zXZִF % TortoiseHare! H]ŗXf1-/6vR[kG+j'bf{9lfLXl#ьZ|VP z5G51Sb}.rh_HFևrm7\X.j@[G -خMh'TGnN_u])[(I7h#~1mƄ<&oV$뒥"f*ic3%5-gn|aTaw 7TRkhK|dwOrNbnS/'O}*S~Qaڢ:83Pb~i#bUiNb&iٚ7 \sk[Vs{16}fբdo³[B;w $׫Bl{j&o:awKy"Az+mS_Vx{-a6YqH^Ж+ /hF3[VYZ_ceWIgp~h0xN2٤?G4ux:U^.9cfQ._2m;/C)M+8ڈoOgYZ0151cd2c693d077e929e985f3a33d272fcf30a88 059b39b3c71e408ea02474875982517bfad13772 42400f19e8830f3eb7eef1e599b0298d3a617449 8b68cf377068d359bb682e8177940c0d05e33582 e6620216318191273215b663199973260548bbd2 fec8b66b788018618e3c3d8415bb381ba89fb0083b94e1300442e1a3f5f809d9b370cfc0bbbae59c 2f80d3f93a8e8908ea20a991b6190f7aaeac097c cf1f16d97467793acddbdfea0d823a4bab350303