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 % ShortestPath:threads=2elapsed=4.933cpu=7.128gc=0.204factor=1.447zXZִF! Aw]ŗXf1-/6vR[]u_4(މ׆IdƱ^v3 ƣ39=}gmǭWtۄf$!vфMH˯^*2ۊ K{hq?k6ڵ&}0N0Pe|͛K9*lTo!HUgsb]ރ+N6 غVr! X64t[=rftԏQm-e48' Dgg0P>ǚE&(ͨ7KK\le'82r#W795*wߔ)oHRTR0 ?ԬT j=ʹ_^yޤw Er`_*3nx0ւԴ!+ˢcn љ֓8Ix>2Qh)hK̆(4Uɯ MK%8"UmC¶nʂmfWv yXmVʘ>OM 1tjI4d )Ԩ^Rda 0dC1MZDd+#.]3ax7K*z%mj41*?zIBX!VIǝ>VGחR&+8=O6\Q#.J-o 9|V~ H{gO(Wـ**a_Z6X ݇H |~ބN06 C'@w j5^E[I(kIu"7Ei~[i//*Oo&) QnYlI{*z7Q|dj=Q˯c?aBUHxJ APrgYZ5935aa2ad6ef9773f5d9a3140f425bda57dab635 6227ccf7113e85198bcf669012b76fa67b7125a8 85b4d40688fb795cc1f4cb9290d7593a2f3434f8 c21b841c8eeba16596f5407b3ee896b55ddf4073 dc93f795980026f293cc51bb7cb4dbd08423edb2d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 5355d6f77f8021202f4561e4c31579745dde988d